(no title)
bugfix-66 | 3 years ago
Published in October 2022, The Art of Computer Programming: Volume 4B is dazzling. It's like a guide to expressing (in non-obvious ways) all kinds of problems as some variation on Exact Cover (or Boolean Satisfiability) and using wicked tight little general-purpose backtracking solvers to solve them.
If you want a peek, watch Knuth's 2018 lecture on Dancing Links Exact Cover:
stillworks|3 years ago
bugfix-66|3 years ago