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> Applications<br />
◮ Bounded Model Checking<br />
◮ Planning<br />
◮ Software Verification<br />
◮ Au<strong>to</strong>matic Test Pattern Generation<br />
◮ Combinational Equivalence Checking<br />
◮ Combina<strong>to</strong>rial Interaction Testing<br />
◮ and many others..