A Simple and Efficient Boolean Solver for Constraint Logic Programming

Philippe Codognet, Daniel Diaz. A Simple and Efficient Boolean Solver for Constraint Logic Programming. Journal of Automated Reasoning, 17(1):97-129, 1996.

Possibly Related Publications

The following publications are possibly variants of this publication: