The art of computer programming. Volume 4, fascicle 7, Constraint satisfaction - Knuth, Donald Ervin (Verfasser) (Addison-Wesley Professional, 2025)