Complexity of constraints: an overview of current research themes
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2008
|
| Series: | Lecture notes in computer science
5250 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | 319 S. graph. Darst. 24 cm |
| ISBN: | 9783540927990 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035385274 | ||
| 003 | DE-604 | ||
| 005 | 20090506 | ||
| 007 | t| | ||
| 008 | 090323s2008 xx d||| |||| 10||| eng d | ||
| 015 | |a 09,A05,0029 |2 dnb | ||
| 016 | 7 | |a 991988779 |2 DE-101 | |
| 020 | |a 9783540927990 |c kart. : EUR 49.17 |9 978-3-540-92799-0 | ||
| 035 | |a (OCoLC)299154557 | ||
| 035 | |a (DE-599)DNB991988779 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 082 | 0 | |a 006.3 |2 22/ger | |
| 082 | 0 | |a 511.3 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a 510 |2 sdnb | ||
| 084 | |a DAT 517f |2 stub | ||
| 245 | 1 | 0 | |a Complexity of constraints |b an overview of current research themes |c Nadia Creignou ... (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2008 | |
| 300 | |a 319 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 5250 | |
| 490 | 0 | |a State of the art survey | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Constraint-Erfüllung - Kongress - Wadern <2006> | |
| 650 | 0 | 7 | |a Constraint-Erfüllung |0 (DE-588)4580374-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2006 |z Wadern |2 gnd-content | |
| 689 | 0 | 0 | |a Constraint-Erfüllung |0 (DE-588)4580374-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Creignou, Nadia |e Sonstige |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5250 |w (DE-604)BV000000607 |9 5250 | |
| 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=017306157&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017306157 | |
Record in the Search Index
| _version_ | 1820875112366211072 |
|---|---|
| adam_text |
TABLE OF CONTENTS INTRODUCTION 1 BOOLEAN CONSTRAINT SATISFACTION
PROBLEMS: WHEN DOES POST'S LATTICE HELP? 3 NADIA CREIGNOU AND HERIBERT
VOLLMER BASICS OF GALOIS CONNECTIONS 38 FERDINAND BOERNER RECENT RESULTS
ON THE ALGEBRAIC APPROACH TO THE CSP 68 ANDREI A. BULATOV AND MATTHEW A.
VALERIOTE DUALITIES FOR CONSTRAINT SATISFACTION PROBLEMS 93 ANDREI A.
BULATOV, ANDREI KROKHIN, AND BENOIT LAROSE A LOGICAL APPROACH TO
CONSTRAINT SATISFACTION 125 PHOKION G. KOLAITIS AND MOSHE Y. VARDI
UNIFORM CONSTRAINT SATISFACTION PROBLEMS AND DATABASE THEORY 156
FRANCESCO SCARCELLO, GEORG GOTTLOB, AND GIANLUIGI GRECO CONSTRAINT
SATISFACTION PROBLEMS WITH INFINITE TEMPLATES 196 MANUEL BODIRSKY
PARTIAL POLYMORPHISMS AND CONSTRAINT SATISFACTION PROBLEMS 229 HENNING
SCHNOOR AND ILKA SCHNOOR INTRODUCTION TO THE MAXIMUM SOLUTION PROBLEM
255 PETER JONSSON AND GUSTAV NORDH PRESENT AND FUTURE OF PRACTICAL SAT
SOLVING 283 OLIVER KULLMANN AUTHOR INDEX 321 BIBLIOGRAFISCHE
INFORMATIONEN HTTP://D-NB.INFO/991988779 DIGITALISIERT DURCH |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV035385274 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706f DAT 517f |
| ctrlnum | (OCoLC)299154557 (DE-599)DNB991988779 |
| dewey-full | 006.3 511.3 |
| dewey-hundreds | 000 - Computer science, information, general works 500 - Natural sciences and mathematics |
| dewey-ones | 006 - Special computer methods 511 - General principles of mathematics |
| dewey-raw | 006.3 511.3 |
| dewey-search | 006.3 511.3 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | 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">BV035385274</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090506</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090323s2008 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,A05,0029</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">991988779</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540927990</subfield><subfield code="c">kart. : EUR 49.17</subfield><subfield code="9">978-3-540-92799-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)299154557</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB991988779</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-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</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 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</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">Complexity of constraints</subfield><subfield code="b">an overview of current research themes</subfield><subfield code="c">Nadia Creignou ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">319 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">5250</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">State of the art survey</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constraint-Erfüllung - Kongress - Wadern <2006></subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Constraint-Erfüllung</subfield><subfield code="0">(DE-588)4580374-2</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">2006</subfield><subfield code="z">Wadern</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Constraint-Erfüllung</subfield><subfield code="0">(DE-588)4580374-2</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">Creignou, Nadia</subfield><subfield code="e">Sonstige</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">5250</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5250</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=017306157&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-017306157</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2006 Wadern gnd-content |
| genre_facet | Konferenzschrift 2006 Wadern |
| id | DE-604.BV035385274 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:10:27Z |
| institution | BVB |
| isbn | 9783540927990 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017306157 |
| oclc_num | 299154557 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | 319 S. graph. Darst. 24 cm |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science State of the art survey |
| spelling | Complexity of constraints an overview of current research themes Nadia Creignou ... (ed.) Berlin [u.a.] Springer 2008 319 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5250 State of the art survey Literaturangaben Constraint-Erfüllung - Kongress - Wadern <2006> Constraint-Erfüllung (DE-588)4580374-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2006 Wadern gnd-content Constraint-Erfüllung (DE-588)4580374-2 s DE-604 Creignou, Nadia Sonstige oth Lecture notes in computer science 5250 (DE-604)BV000000607 5250 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017306157&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Complexity of constraints an overview of current research themes Lecture notes in computer science Constraint-Erfüllung - Kongress - Wadern <2006> Constraint-Erfüllung (DE-588)4580374-2 gnd |
| subject_GND | (DE-588)4580374-2 (DE-588)1071861417 |
| title | Complexity of constraints an overview of current research themes |
| title_auth | Complexity of constraints an overview of current research themes |
| title_exact_search | Complexity of constraints an overview of current research themes |
| title_full | Complexity of constraints an overview of current research themes Nadia Creignou ... (ed.) |
| title_fullStr | Complexity of constraints an overview of current research themes Nadia Creignou ... (ed.) |
| title_full_unstemmed | Complexity of constraints an overview of current research themes Nadia Creignou ... (ed.) |
| title_short | Complexity of constraints |
| title_sort | complexity of constraints an overview of current research themes |
| title_sub | an overview of current research themes |
| topic | Constraint-Erfüllung - Kongress - Wadern <2006> Constraint-Erfüllung (DE-588)4580374-2 gnd |
| topic_facet | Constraint-Erfüllung - Kongress - Wadern <2006> Constraint-Erfüllung Konferenzschrift 2006 Wadern |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017306157&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT creignounadia complexityofconstraintsanoverviewofcurrentresearchthemes |