1. HandoutApr. 2007Satisfiability A Lecture in CE Freshman Seminar Series: Ten Puzzling Problems in Computer Engineering

2. HandoutApr. 2007Satisfiability Making Change: Mathematical Formulation Puzzle: Largest sum of coins not containing exact change for $1. Formulating a solution: Maximize the sum M = 25Q + 10D + 5N + P subject to 25q + 10d + 5n + p  100 for any q  Q, d  D, n  N, p  P Challenge: You held some bills, all $50 or smaller denominations, and some coins, when a friend asked you if you could change a $100 bill for her. You discovered that you could not make exact change. What is the maximum sum of money that you could have had?

3. HandoutApr. 2007Satisfiability Making Change with Constraints Is there a solution to 25Q + 10D + 5N + P = 100 that satisfies the constraint Q + D + N + P = 22? Can you make change for $1 using exactly 22 coins?

4. HandoutApr. 2007Satisfiability 7–89 –92 3–8 73–5 5–7–8 2–7 –2–5 –49 812 9 –8 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 on-line at the following website. The game has five difficulty levels. http://www.cril.univ-artois.fr/~roussel/satgame/satgame.php?level=1&lang=eng