top | item 33849901

(no title)

bugfix-66 | 3 years ago

I seriously doubt this appeals to the modern Hacker News crowd, but it might appeal to a couple of you:

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:

https://youtu.be/_cR9zDlvP88

discuss

order