常見(jiàn)例句雙語(yǔ)例句The processes can also be considered as that to build models, to compute minimal conflict set, and to compute minimal hitting sets.診斷過(guò)程也可以看作為是建立模型、求最小沖突集合、求最小碰集,這樣一個(gè)過(guò)程。 返回 minimal hitting set