Constraint Satisfaction Summary

• Preprocessing Strategies

• Search Algorithms

  • Chronological Backtracking (BT)
  • Backjumping (BJ)
  • Conflict-Directed Backjumping (CBJ)
  • Forward checking (FC)

• Dynamic variable ordering heuristics

Previous slide

Next slide

Back to first slide

View graphic version