2003, April 12, 2003, Warshaw, Poland
and basic terminology. History and application areas. Local search
techniques (hill-climbing, min-conflicts, random-walk).
search techniques: chronological backtracking, backjumping, backmarking,
techniques: node consistency, arc consistency, path consistency.
Generic consistency notions: k-consistency, (i,j)-consistency, singleton
of consistency with search, value/variable ordering. Optimisation
and over-constrained problems. Final notes.