Using Local Consistency Techniques to Solve Boolean Constraints.

Jean-Luc Massat Using Local Consistency Techniques to Solve Boolean Constraints. 223-235 1991 WCLP db/conf/wclp/wclp91.html#Massat91