CS 5315, Test 3, Tuesday, May 5, 2015


(Please do not forget to put your name on all extra sheets of paper)


4-7. Reduce the satisfiability problem for the formula (x1 \/ x2) & (~x1 \/ ~x3) & (x1 \/ x2 \/ ~x3) to:

8-12. A straightforward algorithm takes time O(n) to compute the product of n numbers.

13. Briefly describe your project for this class.

14. Briefly describe someone else's project for this class.