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.
<strong>SAT</strong> solver classification<br />
◮ complete <strong>SAT</strong> solvers<br />
: based on the Davis-Putnam-Logemann-Loveland (DPLL)<br />
algorithm<br />
◮ incomplete <strong>SAT</strong> solvers<br />
: based on local search<br />
◮ hybrid <strong>SAT</strong> solvers