Today’s Outline

• Recap

• Constraint Satisfaction Techniques

  • Backjumping (BJ)
  • Conflict-Directed Backjumping (CBJ)
  • Forward checking (FC)
  • Dynamic variable ordering heuristics
  • Preprocessing Strategies

• Combinatorial Optimization

• Knowledge Representation I

  • Propositional Logic: Syntax
  • Propositional Logic: Semantics
  • Propositional Logic: Inference
  • Compilation to SAT

Previous slide

Next slide

Back to first slide

View graphic version