The Art of Computer Programming, Volume 4, Fascicle 6
Subtitle: Satisfiability
Publisher: Addison-Wesley Professional
Published: Dec 18, 2015
Format: paperback
Number of pages: 320
ISBN-13: 9780134397603
Notes: Source title: The Art of Computer Programming, Volume 4, Fascicle 6: Satisfiability