Constraint Satisfaction

• Chronological Backtracking (BT)

• Backjumping (BJ)

• Conflict-Directed Backjumping (CBJ)

• Forward checking (FC)

• Dynamic variable ordering heuristics

• Preprocessing Strategies

Previous slide

Next slide

Back to first slide

View graphic version