Introduction to SAT (constraint) solving - Crest
Introduction to SAT (constraint) solving - Crest
Introduction to SAT (constraint) solving - Crest
SHOW LESS
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Unit propagation<br />
x 0 ∨ x 2 ∨ x 3<br />
¬x 2 ∨ ¬x 3<br />
decision: x 3 = 0<br />
decision level: 1