3-SAT as a CSP

What happens when we go to general 3-SAT?

Introduce variables for clauses. Value corresponds to which literal makes it true. Example: $C_1: (x_1+\overline{x_2}+x_3)$.

next up previous
Next: CSP as SAT Up: SAT ENCODINGS Previous: SAT as a CSP