Theory and applications of satisfiability testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Cham
Springer International Publishing
[2015]
|
| Edition: | 1st ed. |
| Series: | Lecture Notes in Computer Science
9340 |
| Subjects: | |
| Online Access: | Volltext Abstract |
| Physical Description: | XX, 436 Seiten Illustrationen |
| ISBN: | 9783319243184 9783319243177 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-24318-4 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043209482 | ||
| 003 | DE-604 | ||
| 005 | 20180524 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151215s2015 xx a||| o|||| 10||| eng d | ||
| 020 | |a 9783319243184 |c Online |9 978-3-319-24318-4 | ||
| 020 | |a 9783319243177 |c Print |9 978-3-319-24317-7 | ||
| 024 | 7 | |a 10.1007/978-3-319-24318-4 |2 doi | |
| 035 | |a (OCoLC)930011426 | ||
| 035 | |a (DE-599)BVBBV043209482 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 084 | |a MAT 030f |2 stub | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 540f |2 stub | ||
| 084 | |a DAT 517f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 111 | 2 | |a SAT |n 18. |d 2015 |c Austin, Tex. |j Verfasser |0 (DE-588)1078927936 |4 aut | |
| 245 | 1 | 0 | |a Theory and applications of satisfiability testing -- SAT 2015 |b 18th International Conference, Austin, TX, USA, September 24-27, 2015, proceedings |c edited by Marijn Heule, Sean Weaver |
| 250 | |a 1st ed. | ||
| 264 | 1 | |a Cham |b Springer International Publishing |c [2015] | |
| 264 | 4 | |c © 2015 | |
| 300 | |a XX, 436 Seiten |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 9340 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computers | |
| 650 | 4 | |a Computer science / Mathematics | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Theory of Computation | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Mathematics of Computing | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Mathematik | |
| 650 | 0 | 7 | |a Erfüllbarkeitsproblem |0 (DE-588)4323820-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Boolesche Formel |0 (DE-588)4328877-7 |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 Boolesche Formel |0 (DE-588)4328877-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Heule, Marijn J. H. |d 1979- |0 (DE-588)1078931380 |4 edt | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9340 |w (DE-604)BV014880109 |9 9340 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-24318-4 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632643&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-028632643 | |
Record in the Search Index
| _version_ | 1817914981822234624 |
|---|---|
| adam_text |
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING -- SAT 2015
/
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 18TH INTERNATIONAL
CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT
2015, HELD IN AUSTIN, TX, USA, IN SEPTEMBER 2015. THE 21 REGULAR PAPERS,
2 SHORT PAPERS AND 7 TOOL PAPERS PRESENTED TOGETHER WITH 3 INVITED TALKS
WERE CAREFULLY REVIEWED AND SELECTED FROM 70 SUBMISSIONS. THE PAPERS
ADDRESSDIFFERENT ASPECTS OFSAT, INCLUDING THEORETICAL ADVANCES
(EXACT ALGORITHMS,PROOF COMPLEXITY, AND OTHER COMPLEXITY ISSUES),
PRACTICAL SEARCH ALGORITHMS,KNOWLEDGE COMPILATION,
IMPLEMENTATION-LEVEL DETAILS OF SAT SOLVERS ANDSAT-BASED SYSTEMS,
PROBLEM ENCODINGS AND REFORMULATIONS, AND APPLICATIONS, AS WELLAS CASE
STUDIES AND REPORTS ON INSIGHTFUL FINDINGS BASED ON RIGOROUS
EXPERIMENTATION
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author2 | Heule, Marijn J. H. 1979- |
| author2_role | edt |
| author2_variant | m j h h mjh mjhh |
| author_GND | (DE-588)1078931380 |
| author_corporate | SAT Austin, Tex |
| author_corporate_role | aut |
| author_facet | Heule, Marijn J. H. 1979- SAT Austin, Tex |
| author_sort | SAT Austin, Tex |
| building | Verbundindex |
| bvnumber | BV043209482 |
| classification_tum | MAT 030f DAT 706f DAT 540f DAT 517f DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)930011426 (DE-599)BVBBV043209482 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| doi_str_mv | 10.1007/978-3-319-24318-4 |
| edition | 1st ed. |
| format | Electronic Conference Proceeding 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">BV043209482</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180524</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151215s2015 xx a||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319243184</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-24318-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319243177</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-24317-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-24318-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)930011426</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043209482</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 517f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">SAT</subfield><subfield code="n">18.</subfield><subfield code="d">2015</subfield><subfield code="c">Austin, Tex.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1078927936</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theory and applications of satisfiability testing -- SAT 2015</subfield><subfield code="b">18th International Conference, Austin, TX, USA, September 24-27, 2015, proceedings</subfield><subfield code="c">edited by Marijn Heule, Sean Weaver</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 436 Seiten</subfield><subfield code="b">Illustrationen</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">Lecture Notes in Computer Science</subfield><subfield code="v">9340</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science / Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics of Computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</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">Boolesche Formel</subfield><subfield code="0">(DE-588)4328877-7</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">Boolesche Formel</subfield><subfield code="0">(DE-588)4328877-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</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="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9340</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9340</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-24318-4</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632643&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028632643</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043209482 |
| illustrated | Illustrated |
| indexdate | 2024-12-08T23:00:26Z |
| institution | BVB |
| institution_GND | (DE-588)1078927936 |
| isbn | 9783319243184 9783319243177 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028632643 |
| oclc_num | 930011426 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | XX, 436 Seiten Illustrationen |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer International Publishing |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | SAT 18. 2015 Austin, Tex. Verfasser (DE-588)1078927936 aut Theory and applications of satisfiability testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, proceedings edited by Marijn Heule, Sean Weaver 1st ed. Cham Springer International Publishing [2015] © 2015 XX, 436 Seiten Illustrationen txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9340 0302-9743 Computer science Computers Computer science / Mathematics Artificial intelligence Computer Science Theory of Computation Artificial Intelligence (incl. Robotics) Mathematics of Computing Informatik Künstliche Intelligenz Mathematik Erfüllbarkeitsproblem (DE-588)4323820-8 gnd rswk-swf Boolesche Formel (DE-588)4328877-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Erfüllbarkeitsproblem (DE-588)4323820-8 s Boolesche Formel (DE-588)4328877-7 s DE-604 Heule, Marijn J. H. 1979- (DE-588)1078931380 edt Lecture Notes in Computer Science 9340 (DE-604)BV014880109 9340 https://doi.org/10.1007/978-3-319-24318-4 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632643&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Theory and applications of satisfiability testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, proceedings Lecture Notes in Computer Science Computer science Computers Computer science / Mathematics Artificial intelligence Computer Science Theory of Computation Artificial Intelligence (incl. Robotics) Mathematics of Computing Informatik Künstliche Intelligenz Mathematik Erfüllbarkeitsproblem (DE-588)4323820-8 gnd Boolesche Formel (DE-588)4328877-7 gnd |
| subject_GND | (DE-588)4323820-8 (DE-588)4328877-7 (DE-588)1071861417 |
| title | Theory and applications of satisfiability testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, proceedings |
| title_auth | Theory and applications of satisfiability testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, proceedings |
| title_exact_search | Theory and applications of satisfiability testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, proceedings |
| title_full | Theory and applications of satisfiability testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, proceedings edited by Marijn Heule, Sean Weaver |
| title_fullStr | Theory and applications of satisfiability testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, proceedings edited by Marijn Heule, Sean Weaver |
| title_full_unstemmed | Theory and applications of satisfiability testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, proceedings edited by Marijn Heule, Sean Weaver |
| title_short | Theory and applications of satisfiability testing -- SAT 2015 |
| title_sort | theory and applications of satisfiability testing sat 2015 18th international conference austin tx usa september 24 27 2015 proceedings |
| title_sub | 18th International Conference, Austin, TX, USA, September 24-27, 2015, proceedings |
| topic | Computer science Computers Computer science / Mathematics Artificial intelligence Computer Science Theory of Computation Artificial Intelligence (incl. Robotics) Mathematics of Computing Informatik Künstliche Intelligenz Mathematik Erfüllbarkeitsproblem (DE-588)4323820-8 gnd Boolesche Formel (DE-588)4328877-7 gnd |
| topic_facet | Computer science Computers Computer science / Mathematics Artificial intelligence Computer Science Theory of Computation Artificial Intelligence (incl. Robotics) Mathematics of Computing Informatik Künstliche Intelligenz Mathematik Erfüllbarkeitsproblem Boolesche Formel Konferenzschrift |
| url | https://doi.org/10.1007/978-3-319-24318-4 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632643&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT sataustintex theoryandapplicationsofsatisfiabilitytestingsat201518thinternationalconferenceaustintxusaseptember24272015proceedings AT heulemarijnjh theoryandapplicationsofsatisfiabilitytestingsat201518thinternationalconferenceaustintxusaseptember24272015proceedings |