摘要 |
PROBLEM TO BE SOLVED: To improve capability of solving a nogood database. SOLUTION: The system 100 and the method for solving the nogood database involve generating a representation comprising a plurality of contexted disjunctions, conjoining all of the contexted disjunctions to form a conjunction 112 of the contexted disjunctions, and storing the representation as the conjunction 112 of the contexted disjunctions. Nogoods 114 are eliminated by refining the representation until a result of the conjunction 112 of the contexted disjunctions is backtrack-free or the result of the conjunction 112 of the contexted disjunctions reduces to false. In various embodiments, the refining is carried out without reordering the disjunctions and/or without merging the disjunctions. COPYRIGHT: (C)2004,JPO
|