Handbook of satisfiability [
A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam, Netherland Washington, DC :
IOS Press ,
c2009
|
| Series: | Frontiers in artificial intelligence and applications
v 185 |
| Subjects: | |
| Online Access: | ebrary NetLibrary An electronic book accessible through the World Wide Web; click for information Click here to view book |
| Summary: | A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers. |
|---|---|
| Physical Description: | 1 online resource (xiii, 966 p.) : ill. |
| Bibliography: | Includes bibliographical references and indexes |
| ISBN: | 1441616780 (electronic bk.) 160750376X (ebook) 9781441616784 (electronic bk.) 9781607503767 (ebook) |
| ISSN: | 0922-6389 |