dangkhoasdc / taocp

working through the Art of Computer Programming

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

About

working through the Art of Computer Programming


Languages

Language:Julia 62.6%Language:Shell 37.4%