constraint satisfaction

• introduction
• search: backtracking, backjumping, backmarking, constraint learning
• variable elimination: bucket elimination
• local consistency and constraint propagation: node consistency, arc consistency, AC-3
• look ahead
• local search