Title:
SYSTEM AND METHOD FOR SOLVING NOGOOD DATABASE
Document Type and Number:
Japanese Patent JP2003296698
Kind Code:
A
Abstract:
To improve capability of solving a nogood database.
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.
Inventors:
MAXWELL JOHN TURNER III
Application Number:
JP2003033239A
Publication Date:
October 17, 2003
Filing Date:
February 12, 2003
Export Citation:
Assignee:
XEROX CORP
International Classes:
G06F12/00; G06F17/30; G06N5/04; (IPC1-7): G06N5/04; G06F12/00
Attorney, Agent or Firm:
Kenji Yoshida (1 person outside)