1 Introduction to Sudoku
2 Advice & Logistics
3 Mechanically solving Sudoku puzzles
A Representing (partial) knowledge
B Sudoku axioms and solving puzzles
C Single-stepping Sudoku
D Food for thought