Overview
PART A. Computationally Hard Instances
worst-case vs. average-case
critically-constrained problems
phase transitions
PART B. Stochastic Methods
heuristic repair, GSAT, and simulated annealing
comparison with systematic methods
asymmetry consistency / inconsistency