Introduction to SAT (constraint) solving - Crest
Introduction to SAT (constraint) solving - Crest
Introduction to SAT (constraint) solving - Crest
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
References<br />
◮ Armin Biere, ed. Handbook of satisfiability. Vol. 185.<br />
IOS PressInc, 2009.<br />
◮ Clark W. Barrett, Rober<strong>to</strong> Sebastiani, Sanjit A. Seshia,<br />
Cesare Tinelli. Satisfiability Modulo Theories.<br />
Handbook of Satisfiability 2009: 825-885<br />
◮ Francesca Rossi, Peter Van Beek, and Toby Walsh, eds.<br />
Handbook of <strong>constraint</strong> programming. Vol. 2. Elsevier<br />
Science, 2006.<br />
◮ Mini<strong>SAT</strong> demo (“Practical <strong>SAT</strong> - a tu<strong>to</strong>rial on applied<br />
satisfiability <strong>solving</strong>”) http : //minisat.se/Papers.html