BOOK · [4367]
The Art of Computer Programming, Volume 4B: Combinatorial Algorithms, Part 2
Technology
Published in 2022, this volume continues the treatment of combinatorial algorithms, focusing on satisfiability (SAT) and related backtracking techniques. It extends the analysis begun in Volume 4A with extensive coverage of constraint satisfaction problems.