- Problem formulation: the witnesses identities problem
- The SEND-MORE-MONEY problem: Problem Formulation and Model Selection
- Problem Reduction: Maintaining DAC and AC in the 8-Queens problem Question / Answer
- Lookahead search: the 8-Queens problem
- Search: Intelligent backtracking
- Problem formulation: From CSP to SAT (answer)
- GSAT hill-climbing (answer)
- GSAT and GLS heuristic search
- Assignments:
- Tests:

Maintained by Edward Tsang; Last updated: 2009.01.10