Exercise 9:

3-SAT \leq NOT-ALL-EQUAL-3-SAT
Reduce the 3-SAT problem to the NOT-ALL-EQUAL-3-SAT problem. These problems are defined as follows: The input and output of the reduction conform to the following data types:
Authors: Carles Creus / Documentation:
To be able to submit you need to either log in, register, or become a guest.