Theory and application of satisfiability testing - SAT 2011: 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2011
|
| Series: | Lecture notes in computer science
6695 |
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Physical Description: | XII, 380 S. graph. Darst. |
| ISBN: | 3642215807 9783642215803 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV039102261 | ||
| 003 | DE-604 | ||
| 005 | 20110817 | ||
| 007 | t| | ||
| 008 | 110627s2011 xx d||| |||| 10||| eng d | ||
| 015 | |a 11N19 |2 dnb | ||
| 016 | 7 | |a 1011530465 |2 DE-101 | |
| 020 | |a 3642215807 |c Pb. : ca. EUR 57.78 (DE) (freier Pr.), ca. sfr 77.50 (freier Pr.) |9 3-642-21580-7 | ||
| 020 | |a 9783642215803 |c Pb. : ca. EUR 57.78 (DE) (freier Pr.), ca. sfr 77.50 (freier Pr.) |9 978-3-642-21580-3 | ||
| 035 | |a (OCoLC)725282590 | ||
| 035 | |a (DE-599)DNB1011530465 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-11 |a DE-83 | ||
| 082 | 0 | |a 005.1015113 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 540f |2 stub | ||
| 084 | |a DAT 517f |2 stub | ||
| 245 | 1 | 0 | |a Theory and application of satisfiability testing - SAT 2011 |b 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 ; proceedings |c Karem A. Sakallah ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
| 300 | |a XII, 380 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6695 | |
| 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 |y 2011 |z Ann Arbor Mich. |2 gnd-content | |
| 689 | 0 | 0 | |a Erfüllbarkeitsproblem |0 (DE-588)4323820-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Erfüllbarkeitsproblem |0 (DE-588)4323820-8 |D s |
| 689 | 1 | 1 | |a Boolesche Formel |0 (DE-588)4328877-7 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Sakallah, Karem A. |e Sonstige |4 oth | |
| 711 | 2 | |a SAT |n 14 |d 2011 |c Ann Arbor, Mich. |j Sonstige |0 (DE-588)16161318-4 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6695 |w (DE-604)BV000000607 |9 6695 | |
| 856 | 4 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3766174&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022646170&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-022646170 | |
Record in the Search Index
| _version_ | 1820875319955947520 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
INVITED TALKS CONNECTING SAT ALGORITHMS AND COMPLEXITY LOWER BOUNDS RYAN
WILLIAMS
CONCOLIC TESTING AND CONSTRAINT SATISFACTION KOUSHIK SEN
TECHNICAL PROGRAM
SESSION 1: COMPLEXITY ANALYSIS PARAMETERIZED COMPLEXITY OF DPLL SEARCH
PROCEDURES* 5
OLAF BEYERSDORFF, NICOLA GALESI, AND MASSIMO LAURIA
SATISFIABILITY CERTIFICATES VERIFIABLE IN SUBEXPONENTIAL TIME* 19 EVGENY
DANTSIN AND EDWARD A. HIRSCH
ON VARIABLES WITH FEW OCCURRENCES IN CONJUNCTIVE NORMAL FORMS 33 OLIVER
KULLMANN AND XISHUN ZHAO
SATISFIABILITY OF ACYCLIC AND ALMOST ACYCLIC CNF FORMULAS (II) 47
SEBASTIAN ORDYNIAK, DANIEL PAULUSMA, AND STEFAN SZEIDER
SESSION 2: BINARY DECISION DIAGRAMS
BDDS FOR PSEUDO-BOOLEAN CONSTRAINTS - REVISITED 61
IGNASI ABIO, ROBERT NIEUWENHUIS, ALBERT OLIVERAS, AND ENRIC
RODRIGUEZ-CARBONELL
DPLL+ROBDD DERIVATION APPLIED TO INVERSION OF SOME CRYPTOGRAPHIC
FUNCTIONS 76
ALEXEY IGNATIEV AND ALEXANDER SEMENOV
TTDD: A NEW DECISION DIAGRAM FOR EFFICIENT PROBLEM SOLVING IN
PERMUTATION SPACE 90
SHIN-ICHI MINATO
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1011530465
DIGITALISIERT DURCH
IMAGE 2
X TABLE OF CONTENTS
SESSION 3: THEORETICAL ANALYSIS
HOW TO APPLY SAT-SOLVING FOR THE EQUIVALENCE TEST OF MONOTONE NORMAL
FORMS 105
MARTIN MUNDHENK AND ROBERT ZERANSKI
ENUMERATING ALL SOLUTIONS OF A BOOLEAN CSP BY NON-DECREASING WEIGHT 120
NADIA CREIGNOU, FREDERIC OLIVE, AND JOHANNES SCHMIDT
A SATISFIABILITY-BASED APPROACH FOR EMBEDDING GENERALIZED TANGLEGRAMS ON
LEVEL GRAPHS 134
EWALD SPECKENMEYER, ANDREAS WOTZLAW, AND STEFAN PORSCHEN
SESSION 4: EXTRACTION OF MINIMAL UNSATISFIABLE SUBSETS MINIMALLY
UNSATISFIABLE BOOLEAN CIRCUITS 145
ANTON BELOV AND JOAO MARQUES-SILVA
ON IMPROVING MUS EXTRACTION ALGORITHMS 159
JOAO MARQUES-SILVA AND INES LYNCE
FASTER EXTRACTION OF HIGH-LEVEL MINIMAL UNSATISFIABLE CORES 174 VADIM
RYVCHIN AND OFER STRICHMAN
SESSION 5: SAT ALGORITHMS
ON FREEZING AND REACTIVATING LEARNT CLAUSES* 188
GILLES AUDEMARD, JEAN-MARIE LAGNIEZ, BERIRAND MAZURE, AND LAKHDAR SAIS
EFFICIENT CNF SIMPLIFICATION BASED ON BINARY IMPLICATION GRAPHS 201
MARIJN J.H. HEULE, MATTI JAERVISALO, AND ARMIN BIERE
BETWEEN RESTARTS AND BACKJUMPS 216
ANTONIO RAMOS, PETER VAN DER TAK, AND MARIJN J.H. HEULE
SESSION 6: QUANTIFIED BOOLEAN FORMULAE
ABSTRACTION-BASED ALGORITHM FOR 2QBF 230
MIKOLDS JANOTA AND JOAO MARQUES-SILVA
TRANSFORMATIONS INTO NORMAL FORMS FOR QUANTIFIED CIRCUITS 245
HANS KLEINE BIINING, XISHUN ZHAO, AND UWE BUBECK
IMAGE 3
TABLE OF CONTENTS XI
FAILED LITERAL DETECTION FOR QBF 259
FLORIAN LONSING AND ARMIN BIERE
SESSION 7: MODEL ENUMERATION, LOCAL SEARCH
REDUCING CHAOS IN SAT-LIKE SEARCH: FINDING SOLUTIONS CLOSE TO A GIVEN
ONE 273
IGNASI ABIO, MORGAN DETERS, ROBERT NIEUWENHUIS, AND PETER J. STUCKEY
GENERATING DIVERSE SOLUTIONS IN SAT 287
ALEXANDER NADEL
CAPTAIN JACK: NEW VARIABLE SELECTION HEURISTICS IN LOCAL SEARCH FOR SAT
302
DAVE A.D. TOMPKINS, ADRIAN BALINT, AND HOLGER H. HOOS
SESSION 8: EMPIRICAL EVALUATION
CAREFUL RANKING OF MULTIPLE SOLVERS WITH TIMEOUTS AND TIES 317 ALLEN VAN
GELDER
GENERALIZED CONFLICT-CLAUSE STRENGTHENING FOR SATISFIABILITY SOLVERS 329
ALLEN VAN GELDER
EMPIRICAL STUDY OF THE ANATOMY OF MODERN SAT SOLVERS 343
HADI KATEBI, KAREM A. SAKALLAH, AND JOAEO P. MARQUES-SILVA
EXTENDED ABSTRACTS
TRANSLATING PSEUDO-BOOLEAN CONSTRAINTS INTO CNF 357
AMIR AAVANI
ANALYZING THE INSTANCES OF THE MAXSAT EVALUATION 360
JOSEP ARGELICH, CHU MIN LI, FELIP MANYAE, AND JORDI PLANES
MODEL COUNTING USING THE INCLUSION-EXCLUSION PRINCIPLE 362 HUXLEY
BENNETT AND SRIRAM SANKARANARAYANAN
PHASE TRANSITIONS IN KNOWLEDGE COMPILATION: AN EXPERIMENTAL STUDY 364
JIAN GAO, MINGHAO YIN, AND KE XU
EAGLEUP: SOLVING RANDOM 3-SAT USING SLS WITH UNIT PROPAGATION 367 OLIVER
GABLESKE AND MARIJN J.H. HEULE
NON-MODEL-BASED ALGORITHM PORTFOLIOS FOR SAT 369
YURI MALITSKY, ASHISH SABHARWAL, HORST SAMULOWITZ, AND MEINOLF SELLMANN
IMAGE 4
XII TABLE OF CONTENTS
THE ORDER ENCODING: FROM TRACTABLE CSP TO TRACTABLE SAT 371
JUSTYNA PETKE AND PETER JEAVONS
APPLYING UCT TO BOOLEAN SATISFIABILITY 373
ALESSANDRO PREVITI, RAGHURAM RAMANUJAN, MARCO SCHAERF AND BART SELMAN
A COMPACT AND EFFICIENT SAT-ENCODING OF FINITE DOMAIN CSP 375 TOMOYA
TANJO, NAOYUKI TAMURA, AND MUTSUNORI BANBARA
LEARNING POLARITY FROM STRUCTURE IN SAT 377
BRYAN SILVERTHORN AND RISTO MIIKKULAINEN
AUTHOR INDEX 379 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV039102261 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 540f DAT 517f |
| ctrlnum | (OCoLC)725282590 (DE-599)DNB1011530465 |
| dewey-full | 005.1015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1015113 |
| dewey-search | 005.1015113 |
| dewey-sort | 15.1015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV039102261</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110817</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">110627s2011 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11N19</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1011530465</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642215807</subfield><subfield code="c">Pb. : ca. EUR 57.78 (DE) (freier Pr.), ca. sfr 77.50 (freier Pr.)</subfield><subfield code="9">3-642-21580-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642215803</subfield><subfield code="c">Pb. : ca. EUR 57.78 (DE) (freier Pr.), ca. sfr 77.50 (freier Pr.)</subfield><subfield code="9">978-3-642-21580-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)725282590</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1011530465</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</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="245" ind1="1" ind2="0"><subfield code="a">Theory and application of satisfiability testing - SAT 2011</subfield><subfield code="b">14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 ; proceedings</subfield><subfield code="c">Karem A. Sakallah ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 380 S.</subfield><subfield code="b">graph. Darst.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</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">6695</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="y">2011</subfield><subfield code="z">Ann Arbor Mich.</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sakallah, Karem A.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">SAT</subfield><subfield code="n">14</subfield><subfield code="d">2011</subfield><subfield code="c">Ann Arbor, Mich.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16161318-4</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6695</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6695</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3766174&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=022646170&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-022646170</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2011 Ann Arbor Mich. gnd-content |
| genre_facet | Konferenzschrift 2011 Ann Arbor Mich. |
| id | DE-604.BV039102261 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:13:45Z |
| institution | BVB |
| institution_GND | (DE-588)16161318-4 |
| isbn | 3642215807 9783642215803 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-022646170 |
| oclc_num | 725282590 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-11 DE-83 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-11 DE-83 |
| physical | XII, 380 S. graph. Darst. |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Theory and application of satisfiability testing - SAT 2011 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 ; proceedings Karem A. Sakallah ... (eds.) Berlin [u.a.] Springer 2011 XII, 380 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6695 Erfüllbarkeitsproblem (DE-588)4323820-8 gnd rswk-swf Boolesche Formel (DE-588)4328877-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Ann Arbor Mich. gnd-content Erfüllbarkeitsproblem (DE-588)4323820-8 s DE-604 Boolesche Formel (DE-588)4328877-7 s Sakallah, Karem A. Sonstige oth SAT 14 2011 Ann Arbor, Mich. Sonstige (DE-588)16161318-4 oth Lecture notes in computer science 6695 (DE-604)BV000000607 6695 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3766174&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022646170&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Theory and application of satisfiability testing - SAT 2011 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 ; proceedings Lecture notes in computer science 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 application of satisfiability testing - SAT 2011 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 ; proceedings |
| title_auth | Theory and application of satisfiability testing - SAT 2011 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 ; proceedings |
| title_exact_search | Theory and application of satisfiability testing - SAT 2011 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 ; proceedings |
| title_full | Theory and application of satisfiability testing - SAT 2011 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 ; proceedings Karem A. Sakallah ... (eds.) |
| title_fullStr | Theory and application of satisfiability testing - SAT 2011 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 ; proceedings Karem A. Sakallah ... (eds.) |
| title_full_unstemmed | Theory and application of satisfiability testing - SAT 2011 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 ; proceedings Karem A. Sakallah ... (eds.) |
| title_short | Theory and application of satisfiability testing - SAT 2011 |
| title_sort | theory and application of satisfiability testing sat 2011 14th international conference sat 2011 ann arbor mi usa june 19 22 2011 proceedings |
| title_sub | 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 ; proceedings |
| topic | Erfüllbarkeitsproblem (DE-588)4323820-8 gnd Boolesche Formel (DE-588)4328877-7 gnd |
| topic_facet | Erfüllbarkeitsproblem Boolesche Formel Konferenzschrift 2011 Ann Arbor Mich. |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3766174&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022646170&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT sakallahkarema theoryandapplicationofsatisfiabilitytestingsat201114thinternationalconferencesat2011annarbormiusajune19222011proceedings AT satannarbormich theoryandapplicationofsatisfiabilitytestingsat201114thinternationalconferencesat2011annarbormiusajune19222011proceedings |