1. 3-SAT as integer programx ¬x y ¬y z ¬z 1 1 1
>= 1
¬x ∨ y ∨ ¬z 1 1 1
>= 1
x ∨ ¬ y ∨ z
x ∨ y ∨ z 1 1 1
>= 1
¬ x ∨ ¬ y 1 1
>= 1
Exactly one of x, ¬ x 1 1
= 1 1 1
= 1 1 1
= 1 1

2. 3-SAT -> SubSet Sum: separate digits
Exactly one of x, ¬ x
¬x ∨ y ∨ ¬z
x ∨ ¬ y ∨ z
x ∨ y ∨ z
¬ x ∨ ¬ y x 1 1 1 1 ¬x 1 1 1 y 1 1 ¬y 1 1 1 1 z 1 1 1 ¬z 1 W
>= 1
>= 1
>= 1 1 1 1
>= 1 2

3. Comment cards 3

4. Approximation <u <u <u u u u
`Loss’ in price: < u per item,
Total loss: < nu 4

5. Comment cards 5