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.
<strong>SAT</strong> example<br />
x 1 ∨ x 2 ∨ ¬x 4<br />
¬x 2 ∨ ¬x 3<br />
◮ x i : a Boolean variable<br />
◮ x i , ¬x i : a literal<br />
◮ ¬x 2 ∨ ¬x 3 : a clause