SAT and CSP

How would you express SAT as a CSP?

How would you express CSP as SAT?

next up previous
Up: RELATION TO OTHER PROBLEMS Previous: Graph Coloring