Exploiting multivalued knowledge in variable selection heuristics for SAT solvers

Carlos Ansótegui, Jose Larrubia, Chu Min Li, Felip Manyà. Exploiting multivalued knowledge in variable selection heuristics for SAT solvers. Annals of Mathematics and Artificial Intelligence, 49(1-4):191-205, 2007. [doi]

No reviews for this publication, yet.