Art of Computer Programming, Volume 4, Fascicle 7, The: Constraint Satisfaction

The Art of Computer Programming is a multivolume work on the analysis of algorithms and has long been recognized as the definitive description of classical computer science. The five volumes published to date—Volumes 1, 2, 3, 4A, and 4B—already comprise a unique and invaluable resource in programming theory and practice. Countless readers have spoken about the profound personal influence of Knuth's writings. Scientists have marveled at the beauty and elegance of his analysis, while practici...