DP Works

• Sophisticated DP variants with SAT-specific heuristics are good 3-SAT solvers!

• We will see other, better SAT techniques

• Important ideas

  • search for CSPs
  • ``blind search heuristics''