The Art of Computer Programming, Volume 4, Fascicle 6: Satisfiability by Donald Ervin Knuth

Art of Computer Programming #1-4

The Art of Computer Programming, Volume 4, Fascicle 6: Satisfiability

Donald Ervin Knuth

320 pages digital 2015

14 editions

nonfiction computer science reference informative reflective medium-paced
More Options

Read With Others

Book Information

Powered by AI (Beta)
Loading...

Description

Volume 4 Fascicle 6 This fascicle, brimming with lively examples, forms the middle third of what will eventually become hardcover Volume 4B. It introduces and surveys "Satisfiability, '' one of the most fundamental problems in all of computer sci...

Show More

Community Reviews

Loading...

Content Warnings

Loading...