Principles and practice of constraint programming - CP 2010: 16th international conference, CP 2010, St. Andrews, Scotland, September 6 - 10, 2010 ; proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2010
|
| Series: | Lecture notes in computer science
6308 |
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Physical Description: | XX, 660 S. |
| ISBN: | 9783642153952 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036654214 | ||
| 003 | DE-604 | ||
| 005 | 20101103 | ||
| 007 | t| | ||
| 008 | 100906s2010 xx |||| 10||| eng d | ||
| 015 | |a 10,N31 |2 dnb | ||
| 016 | 7 | |a 100501020X |2 DE-101 | |
| 020 | |a 9783642153952 |c PB. : EUR 84.53 (freier Pr.), sfr 113.50 (freier Pr.) |9 978-3-642-15395-2 | ||
| 024 | 3 | |a 9783642153952 | |
| 028 | 5 | 2 | |a 80021478 |
| 035 | |a (OCoLC)665159119 | ||
| 035 | |a (DE-599)DNB100501020X | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 | ||
| 082 | 0 | |a 005.116 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 706f |2 stub | ||
| 111 | 2 | |a CP |n 16 |d 2010 |c Saint Andrews |j Verfasser |0 (DE-588)16080808-X |4 aut | |
| 245 | 1 | 0 | |a Principles and practice of constraint programming - CP 2010 |b 16th international conference, CP 2010, St. Andrews, Scotland, September 6 - 10, 2010 ; proceedings |c David Cohen (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a XX, 660 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6308 | |
| 650 | 0 | 7 | |a Constraint-Programmierung |0 (DE-588)4567206-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |z Saint Andrews |2 gnd-content | |
| 689 | 0 | 0 | |a Constraint-Programmierung |0 (DE-588)4567206-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Cohen, David |e Sonstige |0 (DE-588)103815783 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6308 |w (DE-604)BV000000607 |9 6308 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3517528&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=020573663&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020573663 | |
Record in the Search Index
| _version_ | 1820875260054994944 |
|---|---|
| adam_text |
TABLE OF CONTENTS INVITED TALKS SAT MODULO THEORIES: GETTING THE BEST OF
SAT AND GLOBAL CONSTRAINT FILTERING 1 ROBERT NIEUWENHUIS
CONSTRAINT-DIRECTED SEARCH IN COMPUTATIONAL FINANCE AND ECONOMICS 3
EDWARD TSANG CONSTRAINTS, GRAPHS, ALGEBRA, LOGIC, AND COMPLEXITY 8 MOSHE
Y. VARAI DISTINGUISHED PAPERS TESTING EXPRESSIBILITY IS HARD 9 ROSS
WILLARD APPLYING CONSTRAINT PROGRAMMING TO IDENTIFICATION AND ASSIGNMENT
OF SERVICE PROFESSIONALS 24 SIGAL ASAF, HAGGAI ERAN, YOSSI RICHTER,
DANIEL P. CONNORS, DONNA L. GRESH, JULIO ORTEGA, AND MICHAEL J. MCINNIS
COMPUTING THE DENSITY OF STATES OF BOOLEAN FORMULAS 38 STEFANO ERMON,
CARLA P. GOMES, AND BART SELMAN RESEARCH TRACK TOWARDS PARALLEL NON
SERIAL DYNAMIC PROGRAMMING FOR SOLVING HARD WEIGHTED CSP 53 DAVID
ALLOUCHE, SIMON DE GIVRY, AND THOMAS SCHIEX MAKING ADAPTIVE AN INTERVAL
CONSTRAINT PROPAGATION ALGORITHM EXPLOITING MONOTONICITY GL IGNACIO
ARAYA, GILLES TROMBETTONI, AND BERTRAND NEVEU IMPROVING THE PERFORMANCE
OF MAXRPC 69 THANASIS BALAFOUTIS, ANASTASIA PAPARRIZOU, KOSTAS STERGIOU,
AND TOBY WALSH CHECKING-UP ON BRANCH-AND-CHECK 84 J. CHRISTOPHER BECK
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/100501020X DIGITALISIERT
DURCH XVIII TABLE OF CONTENTS SPATIAL, TEMPORAL, AND HYBRID
DECOMPOSITIONS FOR LARGE-SCALE VEHICLE ROUTING WITH TIME WINDOWS 99
RUSSELL BENT AND PASCAL VAN HENTENRYCK DECOMPOSITION OF THE NVALUE
CONSTRAINT 114 CHRISTIAN BESSIERE, GEORGE KATSIRELOS, NINA NARODYTSKA,
CLAUDE-GUY QUIMPER, AND TOBY WALSH PROPAGATING THE BIN PACKING
CONSTRAINT USING LINEAR PROGRAMMING. 129 HADRIEN CAMBAZARD AND BARRY
O'SULLIVAN SWEEPING WITH CONTINUOUS DOMAINS 137 GILLES CHABERT AND
NICOLAS BELDICEANU A NEW HYBRID TRACTABLE CLASS OF SOFT CONSTRAINT
PROBLEMS 152 MARTIN C. COOPER AND STANISLAV ZIVNY A PROPAGATOR FOR
MAXIMUM WEIGHT STRING ALIGNMENT WITH ARBITRARY PAIRWISE DEPENDENCIES 167
ALESSANDRO DAL PALU, MATHIAS MOEHL, AND SEBASTIAN WILL USING LEARNT
CLAUSES IN MAXSAT 176 JESSICA DAVIES, JEREMY CHO, AND FAHIEM BACCHUS
DOMAIN CONSISTENCY WITH FORBIDDEN VALUES 191 YVES DEVILLE AND PASCAL VAN
HENTENRYCK GENERATING SPECIAL-PURPOSE STATELESS PROPAGATORS FOR
ARBITRARY CONSTRAINTS 206 IAN P. GENT, CHRIS JEFFERSON, IAN MIGUEL, AND
PETER NIGHTINGALE INCLUDING ORDINARY DIFFERENTIAL EQUATIONS BASED
CONSTRAINTS IN THE STANDARD CP FRAMEWORK 221 ALEXANDRE GOLDSZTEJN,
OLIVIER MULLIER, DAMIEN EVEILLARD, AND HIROSHI HOSOBE STRUCTURAL
TRACTABILITY OF ENUMERATING CSP SOLUTIONS 236 GIANLUIGI TABLE OF
CONTENTS XIX ON THE COMPLEXITY AND COMPLETENESS OF STATIC CONSTRAINTS
FOR BREAKING ROW AND COLUMN SYMMETRY 305 GEORGE KATSIRELOS, NINA
NARODYTSKA, AND TOBY WALSH ENSEMBLE CLASSIFICATION FOR CONSTRAINT SOLVER
CONFIGURATION 321 LARS KOTTHOFF, IAN MIGUEL, AND PETER NIGHTINGALE ON
TESTING CONSTRAINT PROGRAMS 330 NADJIB LAZAAR, ARNAUD GOTLIEB, AND YAHIA
LEBBAH ON THE CONTAINMENT OF FORBIDDEN PATTERNS PROBLEMS 345 FLORENT
MADELAINE IMPROVING THE FLOATING POINT ADDITION AND SUBTRACTION
CONSTRAINTS . 360 BRUNO MARRE AND CLAUDE MICHEL THE LATTICE STRUCTURE
OF SETS OF SURJECTIVE HYPER-OPERATIONS 368 BARNABY MARTIN CONSTRAINT
BASED SCHEDULING TO DEAL WITH UNCERTAIN DURATIONS AND SELF-TIMED
EXECUTION 383 MICHELE LOMBARDI AND MICHELA MILANO LOCAL CONSISTENCY AND
SAT-SOLVERS 398 JUSTYNA PETKE AND PETER JEAVONS HEURISTICS FOR PLANNING
WITH SAT 414 JUSSI RINTANEN VALUE-ORDERING HEURISTICS: SEARCH
PERFORMANCE VS. SOLUTION DIVERSITY . 429 YEVGENY SCHREIBER A NEW O(N 2
LOG N) NOT-FIRST/NOT-LAST PRUNING ALGORITHM FOR CUMULATIVE RESOURCE
CONSTRAINTS 445 ANDREAS SCHUTT AND ARMIN WOLF A GENERIC VISUALIZATION
PLATFORM FOR CP 460 HELMUT XX TABLE OF CONTENTS APPLICATIONS TRACK AN
EMPIRICAL STUDY OF OPTIMIZATION FOR MAXIMIZING DIFFUSION IN NETWORKS 514
KIYAN AHMADIZADEH, BISTRA DILKINA, CARIA P. GOMES, AND ASHISH SABHARWAL
AN INTEGRATED MODELLING, DEBUGGING, AND VISUALISATION ENVIRONMENT FOR
G12 522 ANDREAS BAUER, VIORICA BOTEA, MARK BROWN, MATT GRAY, DANIEL
HARABOR, AND JOHN SLANEY GLOBAL CONSTRAINTS ON FEATURE MODELS 537 AHMET
SERKAN KARATAS, HALIT OGUZTUEZUEN, AND ALI DOGRU CONSTRAINT PROGRAMMING
FOR MINING N-ARY PATTERNS 552 MEHDI KHIARI, PATRICE BOIZUMAULT, AND
BRUNO CREMILLEUX AN INTEGRATED BUSINESS RULES AND CONSTRAINTS APPROACH
TO DATA CENTRE CAPACITY MANAGEMENT 568 ROMAN VAN DER KROGT, JACOB
FELDMAN, JAMES LITTLE, AND DAVID STYNES CONTEXT-SENSITIVE CALL CONTROL
USING CONSTRAINTS AND RULES 583 DAVID LESAINT, DEEPAK MEHTA, BARRY
O'SULLIVAN, LUIS QUESADA, AND NIE WILSON LOAD BALANCING AND ALMOST
SYMMETRIES FOR RAMBO QUORUM HOSTING 598 LAURENT MICHEL, ALEXANDER A.
SHVARTSMAN, ELAINE SONDEREGGER, AND PASCAL VAN HENTENRYCK TESTING
CONTINUOUS DOUBLE AUCTIONS WITH A CONSTRAINT-BASED ORACLE . . . 613
ROBERTO CASTANEDA LOZANO, CHRISTIAN SCHULTE, AND LARS WAHLBERG A SAFE
AND FLEXIBLE CP-BASED APPROACH FOR VELOCITY TUNING PROBLEMS 628 MICHAEL |
| any_adam_object | 1 |
| author_GND | (DE-588)103815783 |
| author_corporate | CP Saint Andrews |
| author_corporate_role | aut |
| author_facet | CP Saint Andrews |
| author_sort | CP Saint Andrews |
| building | Verbundindex |
| bvnumber | BV036654214 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)665159119 (DE-599)DNB100501020X |
| dewey-full | 005.116 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.116 |
| dewey-search | 005.116 |
| dewey-sort | 15.116 |
| 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">BV036654214</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20101103</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100906s2010 xx |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N31</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">100501020X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642153952</subfield><subfield code="c">PB. : EUR 84.53 (freier Pr.), sfr 113.50 (freier Pr.)</subfield><subfield code="9">978-3-642-15395-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642153952</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80021478</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)665159119</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB100501020X</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></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.116</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="111" ind1="2" ind2=" "><subfield code="a">CP</subfield><subfield code="n">16</subfield><subfield code="d">2010</subfield><subfield code="c">Saint Andrews</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)16080808-X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Principles and practice of constraint programming - CP 2010</subfield><subfield code="b">16th international conference, CP 2010, St. Andrews, Scotland, September 6 - 10, 2010 ; proceedings</subfield><subfield code="c">David Cohen (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 660 S.</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">6308</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Constraint-Programmierung</subfield><subfield code="0">(DE-588)4567206-4</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">2010</subfield><subfield code="z">Saint Andrews</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Constraint-Programmierung</subfield><subfield code="0">(DE-588)4567206-4</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">Cohen, David</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)103815783</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">6308</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6308</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3517528&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=020573663&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-020573663</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Saint Andrews gnd-content |
| genre_facet | Konferenzschrift 2010 Saint Andrews |
| id | DE-604.BV036654214 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:12:48Z |
| institution | BVB |
| institution_GND | (DE-588)16080808-X |
| isbn | 9783642153952 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020573663 |
| oclc_num | 665159119 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 |
| physical | XX, 660 S. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | CP 16 2010 Saint Andrews Verfasser (DE-588)16080808-X aut Principles and practice of constraint programming - CP 2010 16th international conference, CP 2010, St. Andrews, Scotland, September 6 - 10, 2010 ; proceedings David Cohen (ed.) Berlin [u.a.] Springer 2010 XX, 660 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6308 Constraint-Programmierung (DE-588)4567206-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Saint Andrews gnd-content Constraint-Programmierung (DE-588)4567206-4 s DE-604 Cohen, David Sonstige (DE-588)103815783 oth Lecture notes in computer science 6308 (DE-604)BV000000607 6308 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3517528&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=020573663&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Principles and practice of constraint programming - CP 2010 16th international conference, CP 2010, St. Andrews, Scotland, September 6 - 10, 2010 ; proceedings Lecture notes in computer science Constraint-Programmierung (DE-588)4567206-4 gnd |
| subject_GND | (DE-588)4567206-4 (DE-588)1071861417 |
| title | Principles and practice of constraint programming - CP 2010 16th international conference, CP 2010, St. Andrews, Scotland, September 6 - 10, 2010 ; proceedings |
| title_auth | Principles and practice of constraint programming - CP 2010 16th international conference, CP 2010, St. Andrews, Scotland, September 6 - 10, 2010 ; proceedings |
| title_exact_search | Principles and practice of constraint programming - CP 2010 16th international conference, CP 2010, St. Andrews, Scotland, September 6 - 10, 2010 ; proceedings |
| title_full | Principles and practice of constraint programming - CP 2010 16th international conference, CP 2010, St. Andrews, Scotland, September 6 - 10, 2010 ; proceedings David Cohen (ed.) |
| title_fullStr | Principles and practice of constraint programming - CP 2010 16th international conference, CP 2010, St. Andrews, Scotland, September 6 - 10, 2010 ; proceedings David Cohen (ed.) |
| title_full_unstemmed | Principles and practice of constraint programming - CP 2010 16th international conference, CP 2010, St. Andrews, Scotland, September 6 - 10, 2010 ; proceedings David Cohen (ed.) |
| title_short | Principles and practice of constraint programming - CP 2010 |
| title_sort | principles and practice of constraint programming cp 2010 16th international conference cp 2010 st andrews scotland september 6 10 2010 proceedings |
| title_sub | 16th international conference, CP 2010, St. Andrews, Scotland, September 6 - 10, 2010 ; proceedings |
| topic | Constraint-Programmierung (DE-588)4567206-4 gnd |
| topic_facet | Constraint-Programmierung Konferenzschrift 2010 Saint Andrews |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3517528&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=020573663&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT cpsaintandrews principlesandpracticeofconstraintprogrammingcp201016thinternationalconferencecp2010standrewsscotlandseptember6102010proceedings AT cohendavid principlesandpracticeofconstraintprogrammingcp201016thinternationalconferencecp2010standrewsscotlandseptember6102010proceedings |