Skip to content

Latest commit

 

History

History
48 lines (39 loc) · 2.17 KB

README.md

File metadata and controls

48 lines (39 loc) · 2.17 KB

taocp

working through the Art of Computer Programming

The BOOK

Volumne 1-4B

Pre-fascicles

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

Chapter 1

Chapter 2

Chapter 5

5.2.3 Sorting by Selection

Chapter 7

7.1.3 Bitwise tricks and techniques

7.2.2.2 Satisfiability

  • SAT/SMT by Example contains many answers for exercises of this section, focusing on using SMT/SAT solvers to formulate the problems.

Christmas Tree Lecture

Misc