Handbook of satisfiability:
Gespeichert in:
| Weitere beteiligte Personen: | , , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Amsterdam ; Berlin ; Oxford ; Tokyo ; Washington, DC
IOS Press
[2009]
|
| Schriftenreihe: | Frontiers in artificial intelligence and applications
volume 185 |
| Schlagwörter: | |
| Links: | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=281413 |
| Umfang: | 1 Online-Ressource |
| ISBN: | 9781441616784 9781607503767 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044841097 | ||
| 003 | DE-604 | ||
| 005 | 20200702 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 180305s2009 xx o|||| 10||| eng d | ||
| 020 | |a 9781441616784 |c Online |9 978-1-4416-1678-4 | ||
| 020 | |a 9781607503767 |c Online |9 978-1-60750-376-7 | ||
| 035 | |a (ZDB-38-ESG)ebr10309230 | ||
| 035 | |a (OCoLC)430355954 | ||
| 035 | |a (DE-599)BVBBV044841097 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 245 | 1 | 0 | |a Handbook of satisfiability |c edited by Armin Biere (Johannes Kepler University, Linz, Austria), Marijn Heule (Delft University of Technology, Delft, The Netherlands), Hans van Maaren (Delft University of Technology, Delft, The Netherlands), and Toby Walsh (NICTA, University of New South Wales, Kensington, Australia) |
| 264 | 1 | |a Amsterdam ; Berlin ; Oxford ; Tokyo ; Washington, DC |b IOS Press |c [2009] | |
| 300 | |a 1 Online-Ressource | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Frontiers in artificial intelligence and applications |v volume 185 | |
| 505 | 8 | |a Includes bibliographical references and indexes | |
| 650 | 4 | |a Propositional calculus |v Congresses | |
| 650 | 4 | |a Decision making |v Congresses | |
| 650 | 4 | |a Computer algorithms |v Congresses | |
| 650 | 4 | |a Algebra, Boolean |v Congresses | |
| 650 | 0 | 7 | |a Erfüllbarkeitsproblem |0 (DE-588)4323820-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Anwendung |0 (DE-588)4196864-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algorithmus |0 (DE-588)4001183-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechnungskomplexität |0 (DE-588)4134751-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Erfüllbarkeitsproblem |0 (DE-588)4323820-8 |D s |
| 689 | 0 | 1 | |a Berechnungskomplexität |0 (DE-588)4134751-1 |D s |
| 689 | 0 | 2 | |a Algorithmus |0 (DE-588)4001183-5 |D s |
| 689 | 0 | 3 | |a Anwendung |0 (DE-588)4196864-5 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Biere, Armin |d 1967- |0 (DE-588)115751823 |4 edt | |
| 700 | 1 | |a Heule, Marijn J. H. |d 1979- |0 (DE-588)1078931380 |4 edt | |
| 700 | 1 | |a Maaren, Hans van |d 1950- |0 (DE-588)142180874 |4 edt | |
| 700 | 1 | |a Walsh, Toby |d 1964- |0 (DE-588)1143034899 |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-1-58603-929-5 |z 1-58603-929-6 |
| 830 | 0 | |a Frontiers in artificial intelligence and applications |v volume 185 |w (DE-604)BV044780090 |9 185 | |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 912 | |a ZDB-38-ESG | ||
| 912 | |a ZDB-218-IOS | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-030235960 | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=281413 |l DE-91 |p ZDB-218-IOS |q TUM_Einzelkauf |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| DE-BY-TUM_katkey | 2482061 |
|---|---|
| _version_ | 1821933022573756417 |
| adam_text | |
| any_adam_object | |
| author2 | Biere, Armin 1967- Heule, Marijn J. H. 1979- Maaren, Hans van 1950- Walsh, Toby 1964- |
| author2_role | edt edt edt edt |
| author2_variant | a b ab m j h h mjh mjhh h v m hv hvm t w tw |
| author_GND | (DE-588)115751823 (DE-588)1078931380 (DE-588)142180874 (DE-588)1143034899 |
| author_facet | Biere, Armin 1967- Heule, Marijn J. H. 1979- Maaren, Hans van 1950- Walsh, Toby 1964- |
| building | Verbundindex |
| bvnumber | BV044841097 |
| collection | ZDB-38-ESG ZDB-218-IOS |
| contents | Includes bibliographical references and indexes |
| ctrlnum | (ZDB-38-ESG)ebr10309230 (OCoLC)430355954 (DE-599)BVBBV044841097 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV044841097</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200702</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">180305s2009 xx o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781441616784</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-4416-1678-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607503767</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-60750-376-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-38-ESG)ebr10309230</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)430355954</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044841097</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Handbook of satisfiability</subfield><subfield code="c">edited by Armin Biere (Johannes Kepler University, Linz, Austria), Marijn Heule (Delft University of Technology, Delft, The Netherlands), Hans van Maaren (Delft University of Technology, Delft, The Netherlands), and Toby Walsh (NICTA, University of New South Wales, Kensington, Australia)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam ; Berlin ; Oxford ; Tokyo ; Washington, DC</subfield><subfield code="b">IOS Press</subfield><subfield code="c">[2009]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Frontiers in artificial intelligence and applications</subfield><subfield code="v">volume 185</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Includes bibliographical references and indexes</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Propositional calculus</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Decision making</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer algorithms</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra, Boolean</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Erfüllbarkeitsproblem</subfield><subfield code="0">(DE-588)4323820-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Anwendung</subfield><subfield code="0">(DE-588)4196864-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algorithmus</subfield><subfield code="0">(DE-588)4001183-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Erfüllbarkeitsproblem</subfield><subfield code="0">(DE-588)4323820-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Algorithmus</subfield><subfield code="0">(DE-588)4001183-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Anwendung</subfield><subfield code="0">(DE-588)4196864-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Biere, Armin</subfield><subfield code="d">1967-</subfield><subfield code="0">(DE-588)115751823</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Heule, Marijn J. H.</subfield><subfield code="d">1979-</subfield><subfield code="0">(DE-588)1078931380</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Maaren, Hans van</subfield><subfield code="d">1950-</subfield><subfield code="0">(DE-588)142180874</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Walsh, Toby</subfield><subfield code="d">1964-</subfield><subfield code="0">(DE-588)1143034899</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-1-58603-929-5</subfield><subfield code="z">1-58603-929-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Frontiers in artificial intelligence and applications</subfield><subfield code="v">volume 185</subfield><subfield code="w">(DE-604)BV044780090</subfield><subfield code="9">185</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-38-ESG</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-218-IOS</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030235960</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=281413</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-218-IOS</subfield><subfield code="q">TUM_Einzelkauf</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044841097 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-11T14:12:30Z |
| institution | BVB |
| isbn | 9781441616784 9781607503767 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030235960 |
| oclc_num | 430355954 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 1 Online-Ressource |
| psigel | ZDB-38-ESG ZDB-218-IOS ZDB-218-IOS TUM_Einzelkauf |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | IOS Press |
| record_format | marc |
| series | Frontiers in artificial intelligence and applications |
| series2 | Frontiers in artificial intelligence and applications |
| spellingShingle | Handbook of satisfiability Frontiers in artificial intelligence and applications Includes bibliographical references and indexes Propositional calculus Congresses Decision making Congresses Computer algorithms Congresses Algebra, Boolean Congresses Erfüllbarkeitsproblem (DE-588)4323820-8 gnd Anwendung (DE-588)4196864-5 gnd Algorithmus (DE-588)4001183-5 gnd Berechnungskomplexität (DE-588)4134751-1 gnd |
| subject_GND | (DE-588)4323820-8 (DE-588)4196864-5 (DE-588)4001183-5 (DE-588)4134751-1 (DE-588)1071861417 |
| title | Handbook of satisfiability |
| title_auth | Handbook of satisfiability |
| title_exact_search | Handbook of satisfiability |
| title_full | Handbook of satisfiability edited by Armin Biere (Johannes Kepler University, Linz, Austria), Marijn Heule (Delft University of Technology, Delft, The Netherlands), Hans van Maaren (Delft University of Technology, Delft, The Netherlands), and Toby Walsh (NICTA, University of New South Wales, Kensington, Australia) |
| title_fullStr | Handbook of satisfiability edited by Armin Biere (Johannes Kepler University, Linz, Austria), Marijn Heule (Delft University of Technology, Delft, The Netherlands), Hans van Maaren (Delft University of Technology, Delft, The Netherlands), and Toby Walsh (NICTA, University of New South Wales, Kensington, Australia) |
| title_full_unstemmed | Handbook of satisfiability edited by Armin Biere (Johannes Kepler University, Linz, Austria), Marijn Heule (Delft University of Technology, Delft, The Netherlands), Hans van Maaren (Delft University of Technology, Delft, The Netherlands), and Toby Walsh (NICTA, University of New South Wales, Kensington, Australia) |
| title_short | Handbook of satisfiability |
| title_sort | handbook of satisfiability |
| topic | Propositional calculus Congresses Decision making Congresses Computer algorithms Congresses Algebra, Boolean Congresses Erfüllbarkeitsproblem (DE-588)4323820-8 gnd Anwendung (DE-588)4196864-5 gnd Algorithmus (DE-588)4001183-5 gnd Berechnungskomplexität (DE-588)4134751-1 gnd |
| topic_facet | Propositional calculus Congresses Decision making Congresses Computer algorithms Congresses Algebra, Boolean Congresses Erfüllbarkeitsproblem Anwendung Algorithmus Berechnungskomplexität Konferenzschrift |
| volume_link | (DE-604)BV044780090 |
| work_keys_str_mv | AT bierearmin handbookofsatisfiability AT heulemarijnjh handbookofsatisfiability AT maarenhansvan handbookofsatisfiability AT walshtoby handbookofsatisfiability |