Introduction to SAT (constraint) solving - Crest
Introduction to SAT (constraint) solving - Crest
Introduction to SAT (constraint) solving - Crest
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>, SMT and CSP solvers are used for <strong>solving</strong> problems<br />
involving <strong>constraint</strong>s.<br />
The term “<strong>constraint</strong> solver”, however, usually refers <strong>to</strong> a<br />
CSP solver.