metaSMT: Focus On Your Application Not On Solver Integration
metaSMT: Focus On Your Application Not On Solver Integration
metaSMT: Focus On Your Application Not On Solver Integration
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Example: Mastermind<br />
◮ Guess a hidden<br />
combination of colors<br />
◮ Hints: #correct color at<br />
correct place (black),<br />
#correct color at wrong<br />
position (white)<br />
◮ Question: Is there a valid<br />
assignment given the<br />
hints (which)?<br />
◮ Good strategy presented<br />
by Knuth 1977<br />
v1 v2 v3 v4<br />
24