Bordeaux, Lucas; Marques-Silva, Joao
(Springer, 2012)
When we encode constraints as Boolean formulas, a natural question
is whether the encoding ensures a ”propagation completeness” property:
is the basic unit propagation mechanism able to deduce all the literals that ...