3-SAT As CSP

• Variables? Clear

• Constraints?

  • all occurrences of var the same
  • each clause must have at least one true
  • graph is hyper-graph! factor w/ gadget