Scan barcode
320 pages • first pub 2015 (editions)
ISBN/UID: 9780134394541
Format: Digital
Language: English
Publisher: Addison-Wesley Professional
Publication date: 10 December 2015
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...
Community Reviews
Content Warnings
320 pages • first pub 2015 (editions)
ISBN/UID: 9780134394541
Format: Digital
Language: English
Publisher: Addison-Wesley Professional
Publication date: 10 December 2015
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...
Community Reviews
Content Warnings