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> 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..