Standard Procedures For SAT

Standard Procedures For SAT

• Systematic search for a satisfying assignment.
• Interesting situation:
  • Davis-Putnam (DP) procedure, proposed in 1960, is still the fastest complete method!
  • Backtrack-style procedure with unit propagation.
    SAT Competition 1992; DIMACS Challenge 1993 / 1994

Previous slide

Next slide

Back to the first slide

View Graphic Version