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 |
MARC
| LEADER | 00000cam a2200000 7i4500 | ||
|---|---|---|---|
| 001 | 0000071591 | ||
| 005 | 20230131093000.0 | ||
| 008 | 110323s2009 ne eng | ||
| 020 | |a 1441616780 (electronic bk.) | ||
| 020 | |a 160750376X (ebook) | ||
| 020 | |a 9781441616784 (electronic bk.) | ||
| 020 | |a 9781607503767 (ebook) | ||
| 020 | |z 1586039296 | ||
| 020 | |z 9781586039295 | ||
| 090 | 0 | 0 | |a QA9.3 |b .H36 2009 |
| 245 | 0 | 0 | |a Handbook of satisfiability [ |h electronic resource] |c edited by Armin Biere ... [et al.] |
| 260 | |a Amsterdam, Netherland |a Washington, DC : |b IOS Press , |c c2009 | ||
| 300 | |a 1 online resource (xiii, 966 p.) : |b ill. | ||
| 490 | 1 | |a Frontiers in artificial intelligence and applications |x 0922-6389 |v v 185 | |
| 504 | |a Includes bibliographical references and indexes | ||
| 520 | |a A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers. | ||
| 650 | 0 | |a Algebra, Boolean |v Congresses | |
| 650 | 0 | |a Computer algorithms |x Congresses | |
| 650 | 0 | |a Decision making |v Congresses | |
| 650 | 0 | |a Propositional calculus |x Congresses | |
| 700 | 1 | |a Biere, Armin , |e author | |
| 856 | 4 | 0 | |3 ebrary |u http://site.ebrary.com/lib/librarytitles/docDetail.action?docID=10309230 |
| 856 | 4 | 0 | |3 NetLibrary |u http://www.netlibrary.com/urlapi.asp?action=summary&v=1&bookid=281413 |
| 856 | 4 | 0 | |u http://www.booksonline.iospress.nl/extern/enterbookseriesbook.aspx?ISBN=978-1-58603-929-5 |z An electronic book accessible through the World Wide Web; click for information |
| 856 | 4 | 0 | |z Click here to view book |u http://public.eblib.com/EBLPublic/PublicView.do?ptiID=448770 |
| 999 | |a 1000137712 |b Electronic Resource |c OPEN SHELF (30 DAYS) |e Gong Badak Campus | ||