A Simple and Efficient Boolean Solver for Constraint Logic Programming.

Philippe Codognet Daniel Diaz A Simple and Efficient Boolean Solver for Constraint Logic Programming. 97-129 1996 17 J. Autom. Reasoning 1 db/journals/jar/jar17.html#CodognetD96