next up previous
Next: Symmetry Up: Pseudo-Boolean and Cardinality Constraints Previous: Pseudo-Boolean constraints and extended

Summary

p-simulation unit
rep. eff. hierarchy inference propagation learning
SAT 1 EEE resolution watched literals relevance
cardinality exp P?E not unique watched literals relevance
PB exp P?E uniquely defined watched literals + strengthening
symmetry
QPROP

As before, a few notes are in order:


next up previous
Next: Symmetry Up: Pseudo-Boolean and Cardinality Constraints Previous: Pseudo-Boolean constraints and extended
Matt Ginsberg 2004-02-19