The Art of Computer Programming, Volume 4, Fascicle 6: Satisfiability
The Art of Computer Programming, Volume 4, Fascicle 6: Satisfiability by Donald E. Knuth
English | December 18, 2015 | ISBN: 0134397606 | 320 pages | EPUB | 10 Mb
This multivolume work on the analysis of algorithms has long been recognized as the definitive description of classical computer science. The four volumes published to date 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 practicing programmers have successfully applied his “cookbook” solutions to their day-to-day problems. All have admired Knuth for the breadth, clarity, accuracy, and good humor found in his books.