• Part 1: Propositional logic

• 1.9 The DPLL procedure
  • Testing satisfiability of sets of clauses
  • Partial valuations
  • Unit clauses
  • Pure literals
  • The DPLL procedure
  • An iterative DPLL procedure

• 1.10 Applications of SAT checking
  • Verification of boolean circuits
  • Model checking (main ideas, use of OBDDs, DPLL)
  
  Imprint | Data Protection