The art of computer programming, Volume 4, fascicle 6: Satisfiability
Main Author: | |
---|---|
Format: | eBook |
Language: | English |
Published: |
Boston, MA
Addison-Wesley/Pearson Education
2015
|
Series: | Addison-Wesley series in computer science and information processing
|
Subjects: | |
Online Access: | |
Collection: | O'Reilly - Collection details see MPG.ReNa |
Table of Contents:
- Includes bibliographical references and index