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 />
Most widely used <strong>SAT</strong> solvers:<br />
◮ Conflict-Driven Clause Learning (CDCL) <strong>SAT</strong> solvers