Cargando…
Handbook of satisfiability /
A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; Washington, DC :
IOS Press,
©2009.
|
| Colección: | Frontiers in artificial intelligence and applications ;
v. 185. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn430355954 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 090813s2009 ne a ob 101 0 eng d | ||
| 040 | |a N$T |b eng |e pn |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 |d IDEBK |d OCLCO |d OCLCF |d OCLCQ |d OCLCO |d NLGGC |d OCLCO |d OCLCQ |d OCLCO |d OCL |d OCLCO |d OCLCQ |d OCLCO |d AZK |d COCUF |d AGLDB |d MOR |d OCLCO |d JBG |d PIFAG |d OCLCQ |d U3W |d DKU |d APUMS |d STF |d WRM |d OCLCQ |d VTS |d NRAMU |d OCLCQ |d INT |d VT2 |d OCLCQ |d WYU |d GDC |d OCLCQ |d CEF |d UX1 |d HS0 |d UWK |d ADU |d OCLCQ |d UKCRE |d VLY |d UKAHL |d M8D |d OCLCO |d OCLCQ |d REDDC |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 491253312 |a 647816504 |a 698049735 |a 712984931 |a 760161553 |a 961498280 |a 962589246 |a 974445889 |a 974510146 |a 988427739 |a 991918127 |a 1002366011 |a 1018019584 |a 1023485237 |a 1027928190 |a 1037904134 |a 1038038459 |a 1038668910 |a 1043516886 |a 1045508230 |a 1047950270 |a 1053539865 |a 1055383220 |a 1066541170 |a 1081054317 |a 1100899804 |a 1101727763 |a 1109116209 |a 1110301922 |a 1112809724 |a 1119094715 |a 1119106088 |a 1153456710 |a 1157036767 |a 1157656406 |a 1162259438 |a 1178689549 |a 1183735584 |a 1228614598 |a 1257361157 | ||
| 020 | |a 9781441616784 |q (electronic bk.) | ||
| 020 | |a 1441616780 |q (electronic bk.) | ||
| 020 | |a 9781607503767 |q (ebook) | ||
| 020 | |a 160750376X |q (ebook) | ||
| 020 | |a 6000014392 | ||
| 020 | |a 9786000014391 | ||
| 020 | |z 9781586039295 | ||
| 020 | |z 1586039296 | ||
| 029 | 1 | |a AU@ |b 000046686681 | |
| 029 | 1 | |a AU@ |b 000051369153 | |
| 029 | 1 | |a DEBBG |b BV043168987 | |
| 029 | 1 | |a DEBSZ |b 372812074 | |
| 029 | 1 | |a DEBSZ |b 379310600 | |
| 029 | 1 | |a DEBSZ |b 421977493 | |
| 029 | 1 | |a DEBSZ |b 445569425 | |
| 029 | 1 | |a GBVCP |b 802968600 | |
| 029 | 1 | |a NZ1 |b 14972339 | |
| 035 | |a (OCoLC)430355954 |z (OCoLC)491253312 |z (OCoLC)647816504 |z (OCoLC)698049735 |z (OCoLC)712984931 |z (OCoLC)760161553 |z (OCoLC)961498280 |z (OCoLC)962589246 |z (OCoLC)974445889 |z (OCoLC)974510146 |z (OCoLC)988427739 |z (OCoLC)991918127 |z (OCoLC)1002366011 |z (OCoLC)1018019584 |z (OCoLC)1023485237 |z (OCoLC)1027928190 |z (OCoLC)1037904134 |z (OCoLC)1038038459 |z (OCoLC)1038668910 |z (OCoLC)1043516886 |z (OCoLC)1045508230 |z (OCoLC)1047950270 |z (OCoLC)1053539865 |z (OCoLC)1055383220 |z (OCoLC)1066541170 |z (OCoLC)1081054317 |z (OCoLC)1100899804 |z (OCoLC)1101727763 |z (OCoLC)1109116209 |z (OCoLC)1110301922 |z (OCoLC)1112809724 |z (OCoLC)1119094715 |z (OCoLC)1119106088 |z (OCoLC)1153456710 |z (OCoLC)1157036767 |z (OCoLC)1157656406 |z (OCoLC)1162259438 |z (OCoLC)1178689549 |z (OCoLC)1183735584 |z (OCoLC)1228614598 |z (OCoLC)1257361157 | ||
| 037 | |a 978-1-58603-929-5 |b IOS Press |n http://www.iospress.nl | ||
| 042 | |a dlr | ||
| 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 | ||
| 049 | |a UAMI | ||
| 245 | 0 | 0 | |a Handbook of satisfiability / |c edited by Armin Biere [and others]. |
| 260 | |a Amsterdam ; |a Washington, DC : |b IOS Press, |c ©2009. | ||
| 300 | |a 1 online resource (xiii, 966 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a data file | ||
| 490 | 1 | |a Frontiers in artificial intelligence and applications, |x 0922-6389 ; |v v. 185 | |
| 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 | 0 | |a Print version record. | |
| 506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
| 533 | |a Electronic reproduction. |b [Place of publication not identified] : |c HathiTrust Digital Library, |d 2011. |5 MiAaHDL | ||
| 538 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
| 583 | 1 | |a digitized |c 2011 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
| 546 | |a English. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 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 | 6 | |a Calcul propositionnel |v Congrès. | |
| 650 | 6 | |a Prise de décision |v Congrès. | |
| 650 | 6 | |a Algorithmes |v Congrès. | |
| 650 | 6 | |a Algèbre de Boole |v Congrès. | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Algebra, Boolean |2 fast | |
| 650 | 7 | |a Computer algorithms |2 fast | |
| 650 | 7 | |a Decision making |2 fast | |
| 650 | 7 | |a Propositional calculus |2 fast | |
| 650 | 7 | |a Algorithmus |2 gnd | |
| 650 | 7 | |a Anwendung |2 gnd | |
| 650 | 7 | |a Berechnungskomplexität |2 gnd | |
| 650 | 7 | |a Erfüllbarkeitsproblem |2 gnd | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Biere, Armin. | |
| 776 | 0 | 8 | |i Print version: |t Handbook of satisfiability. |d Amsterdam, the Netherlands ; Washington, DC : IOS Press, ©2009 |z 9781586039295 |z 1586039296 |w (OCoLC)290492523 |
| 830 | 0 | |a Frontiers in artificial intelligence and applications ; |v v. 185. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=281413 |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH37540900 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL448770 | ||
| 938 | |a EBSCOhost |b EBSC |n 281413 | ||
| 938 | |a YBP Library Services |b YANK |n 3084044 | ||
| 938 | |a YBP Library Services |b YANK |n 3317145 | ||
| 994 | |a 92 |b IZTAP | ||