working through the Art of Computer Programming
| Pre-fascicle | Content |
|---|---|
| 7a | Constraint Satisfaction |
| 8a | Hamiltonian Paths and Cycles |
| 8b | Cliques |
| 9b | A Potpourri of puzzles |
| 9c | Estimating backtrack costs |
| 12a | Components and traversal |
| 14a | Bipartite Matching |
| 20a | Introduction to recursion |
- 2.2.5: Knuth's Elevator Simulator
- Ex 36.
- Leetcode practice
- OrderedDict:
OrderedDictuses the same implementation as Knuth mentioned in the solution.
- Gosper's Hack: Exercises 20, 21, 22.
- SAT/SMT by Example contains many answers for exercises of this section, focusing on using SMT/SAT solvers to formulate the problems.