This preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: + D + N + P = 22? Can you make change for $1 using exactly 22 coins? Apr. 2011 Satisfiability Handout 7 –8 9 –8 –9 2 –9 3 –8 7 3 –5 5 –7 –8 –8 2 –7 –2 –5 –4 9 8 1 2 –4 9 6 –6 6 The Satisfiability Game Pick one of the numbers shown in the table (say x ) Color all boxes containing x green (or circle it) and all boxes containing – x red (or X it out) You win if every row has a green box (circle) You lose if some row has three red boxes (Xs) Play the satisfiability game online at the following website. The game has five difficulty levels. http://www.cril.univartois.fr/~roussel/satgame/satgame.php?level=1&lang=eng...
View
Full Document
 Fall '08
 CHEN
 Coin, Diophantine equation, Satisfiability, satisfiability game

Click to edit the document details