Introduction to SAT (constraint) solving - Crest
Introduction to SAT (constraint) solving - Crest
Introduction to SAT (constraint) solving - Crest
SHOW LESS
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Unit propagation<br />
x 0 ∨ x 2<br />
¬x 2 ∨ ¬x 3 : satisfied<br />
decision: x 3 = 0 (d.l. 1), x 2 = 0<br />
decision level: 2