Handbook of satisfiability
| 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 |
| Physical Description: | 1 online resource (xiii, 966 p.) ill. |
|---|---|
| ISBN: | 1441616780 (electronic bk.) 160750376X (ebook) 9781441616784 (electronic bk.) 9781607503767 (ebook) |
| ISSN: | 0922-6389 |