Backtracking = depth-first search with one variable assigned per node; variable ordering and value selection heuristics help significantly; forward checking prevents assignments that guarantee later failure; constraint propagation (., arc consistency) does additional work to constrain values and detect inconsistencies; the CSPs representation allows analysis of problem structure.