fascicle 6 -> volume 4B

aaw · aaw · commit 6b81e1905738 · 2025-03-08T09:46:22.000-05:00
diff --git a/README.md b/README.md
@@ -2,8 +2,7 @@ SAT solvers
 ===========
 
 This repo contains SAT solvers that are implemented following descriptions in
-Donald Knuth's "The Art of Computer Programming, Volume 4, Fascicle 6:
-Satisfiability".
+Donald Knuth's The Art of Computer Programming, Volume 4B (Combinatorial Algorithms, Part 2).
 
 Solvers currently implemented are:
 
