SAT as a CSP

How about 2-SAT as a CSP?

Example: $(x_1+x_2)(\overline{x_1}+\overline{x_2})(x_1+x_3)(\overline{x_1}+\overline{x_3})$ $(x_4+x_2)(\overline{x_4}+\overline{x_2})(x_3+x_4)(\overline{x_3}+\overline{x_4})$.

What are the variables, domains, and constraint matrices?

next up previous
Next: 3-SAT as a CSP Up: SAT ENCODINGS Previous: Graph Coloring