CS 5315, Quiz 4, Thursday, April 16, 2009

1. Reduce the problem of satisfying the 3-CNF formula (v1 \/ v2 \/ v3) & (~v1 \/ ~v2 \/ ~v3) to the interval computations problem.