Handbook of satisfiability
A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.
| Other Authors: | |
|---|---|
| Format: | Electronic |
| Language: | English |
| Published: |
Amsterdam ; Washington, DC :
IOS Press,
c2009.
|
| Series: | Frontiers in artificial intelligence and applications ;
v. 185. |
| Subjects: | |
| Online Access: | ebrary View fulltext via EzAccess An electronic book accessible through the World Wide Web; click for information https://ezaccess.library.uitm.edu.my/login?url=http://site.ebrary.com/lib/alltitles/Doc?id=10309230 https://ezaccess.library.uitm.edu.my/login?url=http://swb.eblib.com/patron/FullRecord.aspx?p=448770 |
| LEADER | 04023cam a2200757Ia 4500 | ||
|---|---|---|---|
| 001 | 2251 | ||
| 003 | OCoLC | ||
| 005 | 20130711001207.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 090813s2009 ne a ob 101 0 eng d | ||
| 019 | # | # | |a 491253312 |a 647816504 |a 712984931 |a 760161553 |
| 020 | # | # | |a 9781441616784 (electronic bk.) |
| 020 | # | # | |a 1441616780 (electronic bk.) |
| 020 | # | # | |a 9781607503767 (ebook) |
| 020 | # | # | |a 160750376X (ebook) |
| 020 | # | # | |z 9781586039295 |
| 020 | # | # | |z 1586039296 |
| 029 | 1 | # | |a AU@ |b 000046686681 |
| 029 | 1 | # | |a DEBSZ |b 372812074 |
| 029 | 1 | # | |a DEBSZ |b 379310600 |
| 029 | 1 | # | |a AU@ |b 000051369153 |
| 035 | # | # | |a (OCoLC)430355954 |
| 037 | # | # | |a 978-1-58603-929-5 |b IOS Press |n http://www.iospress.nl |
| 040 | # | # | |a N$T |b eng |c N$T |d OCLCQ |d OSU |d IOSPR |d YDXCP |d EBLCP |d E7B |d OCLCQ |d MHW |d OCLCQ |d OCLCE |d MYPMP |d OCLCQ |d DEBSZ |
| 049 | # | # | |a MYTA |
| 050 | # | 4 | |a QA9.3 |b .H36 2009eb |
| 072 | # | 7 | |a COM |x COM014000 |2 bisacsh |
| 082 | 0 | 4 | |a 511.3 |2 22 |
| 084 | # | # | |a ST 125 |2 rvk |
| 084 | # | # | |a ST 300 |2 rvk |
| 245 | 0 | 0 | |a Handbook of satisfiability |c edited by Armin Biere ... [et al.]. |h [electronic resource] / |
| 260 | # | # | |a Amsterdam ; |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, |v v. 185 |x 0922-6389 ; |
| 504 | # | # | |a Includes bibliographical references and indexes. |
| 505 | 0 | # | |a Title page; Contents; Part I. Theory and Algorithms; Chapter 1. A History of Satisfiability; Chapter 2. CNF Encodings; Chapter 3. Complete Algorithms; Chapter 4. CDCL Solvers; Chapter 5. Look-Ahead Based SAT Solvers; Chapter 6. Incomplete Algorithms; Chapter 7. Fundaments of Branching Heuristics; Chapter 8. Random Satisfiability; Chapter 9. Exploiting Runtime Variation in Complete Solvers; Chapter 10. Symmetry and Satisfiability; Chapter 11. Minimal Unsatisfiability and Autarkies; Chapter 12. Worst-Case Upper Bounds; Chapter 13. Fixed-Parameter Tractability. |
| 520 | # | # | |a A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers. |
| 588 | # | # | |a Description based on print version record. |
| 650 | # | 0 | |a Propositional calculus |v Congresses. |
| 650 | # | 0 | |a Decision making |v Congresses. |
| 650 | # | 0 | |a Computer algorithms |v Congresses. |
| 650 | # | 0 | |a Algebra, Boolean |v Congresses. |
| 650 | # | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh |
| 650 | # | 7 | |a MATHEMATICS |x Logic. |2 bisacsh |
| 650 | 0 | 7 | |a Algorithmus. |2 swd |
| 650 | 0 | 7 | |a Anwendung. |2 swd |
| 650 | 0 | 7 | |a Berechnungskomplexität. |2 swd |
| 650 | 0 | 7 | |a Erfüllbarkeitsproblem. |2 swd |
| 655 | # | 4 | |a Electronic books. |
| 655 | # | 7 | |a Electronic books. |2 local |
| 655 | # | 0 | |a Electronic books. |
| 700 | 1 | # | |a Biere, Armin. |
| 776 | 0 | 8 | |d Amsterdam, the Netherlands ; Washington, DC : IOS Press, c2009 |i Print version: |t Handbook of satisfiability. |w (OCoLC)290492523 |z 1586039296 |z 9781586039295 |
| 830 | # | 0 | |a Frontiers in artificial intelligence and applications ; |v v. 185. |
| 856 | 4 | 0 | |u https://ezaccess.library.uitm.edu.my/login?url=http://site.ebrary.com/id/10309230 |3 ebrary |
| 856 | 4 | 0 | |u https://ezaccess.library.uitm.edu.my/login?url=http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=281413 |z View fulltext via EzAccess |
| 856 | 4 | 0 | |u https://ezaccess.library.uitm.edu.my/login?url=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 | # | |u https://ezaccess.library.uitm.edu.my/login?url=http://site.ebrary.com/lib/alltitles/Doc?id=10309230 |x Aggregator |
| 856 | 4 | # | |u https://ezaccess.library.uitm.edu.my/login?url=http://swb.eblib.com/patron/FullRecord.aspx?p=448770 |x Verlag |
| 938 | # | # | |a YBP Library Services |b YANK |n 3317145 |
| 938 | # | # | |a EBL - Ebook Library |b EBLB |n EBL448770 |
| 938 | # | # | |a ebrary |b EBRY |n ebr10309230 |
| 938 | # | # | |a EBSCOhost |b EBSC |n 281413 |
| 999 | # | # | |z 635090427501196915 |