This preview shows pages 1–4. Sign up to view the full content.
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
This note was uploaded on 12/28/2011 for the course ECE 1 taught by Professor Chen during the Fall '08 term at UCSB.
 Fall '08
 CHEN

Click to edit the document details