SYSTEM, METHOD, AND LOGICAL DEVICE FOR SCHEDULING EVENT IN BOOLEAN SATISFIABILITY SOLVER

摘要

PROBLEM TO BE SOLVED: To reduce or eliminate a drawback and a problem related to a search mechanism of an SAT solver. SOLUTION: In one embodiment, a method for scheduling events in a Boolean satisfiability (SAT) solver includes collecting one or more first-order statistics on a search for a valid solution to an SAT problem, deriving one or more second-order statistics on the search from the one or more first-order statistics, and scheduling events in the search according to one or more of the second-order statistics. COPYRIGHT: (C)2006,JPO&NCIPI