Principles and Practice of Constraint Programming - CP 2009: 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2009
|
| Series: | Lecture Notes in Computer Science
5732 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XXI, 844 S. graph. Darst. 235 mm x 155 mm |
| ISBN: | 9783642042430 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035723356 | ||
| 003 | DE-604 | ||
| 005 | 20100809 | ||
| 007 | t| | ||
| 008 | 090914s2009 xx d||| |||| 10||| eng d | ||
| 015 | |a 09,N36,0074 |2 dnb | ||
| 016 | 7 | |a 995948097 |2 DE-101 | |
| 020 | |a 9783642042430 |c PB. : EUR 101.65 (freier Pr.), sfr 147.50 (freier Pr.) |9 978-3-642-04243-0 | ||
| 024 | 3 | |a 9783642042430 | |
| 028 | 5 | 2 | |a 12753741 |
| 035 | |a (OCoLC)436030812 | ||
| 035 | |a (DE-599)DNB995948097 | ||
| 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 | ||
| 050 | 0 | |a QA76.612 | |
| 082 | 0 | |a 004 | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Principles and Practice of Constraint Programming - CP 2009 |b 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings |c Ian P. Gent (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a XXI, 844 S. |b graph. Darst. |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 5732 | |
| 650 | 4 | |a Constraint-Programmierung - Kongress - Lissabon <2009> | |
| 650 | 4 | |a Constraint programming (Computer science) |v Congresses | |
| 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 2009 |z Lissabon |2 gnd-content | |
| 689 | 0 | 0 | |a Constraint-Programmierung |0 (DE-588)4567206-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Gent, Ian P. |e Sonstige |4 oth | |
| 711 | 2 | |a CP |n 15 |d 2009 |c Lissabon |j Sonstige |0 (DE-588)6102566-5 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 5732 |w (DE-604)BV000000607 |9 5732 | |
| 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=018000086&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-018000086 | |
Record in the Search Index
| _version_ | 1820875166724390912 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
INVITED TALKS CONSTRAINT-BASED SCHEDULERS, DO THEY REALLY WORK? 1
PHILIPPE BAPTISTE
CHALLENGES FOR CONSTRAINT REASONING AND OPTIMIZATION IN COMPUTATIONAL
SUSTAINABILITY 2
CARIA P. GOMES
OBSERVATIONS ON SYMMETRY BREAKING 5
BARBARA M. SMITH
APPLICATION TRACK PAPERS
GENERATING OPTIMAL STOWAGE PLANS FOR CONTAINER VESSEL BAYS 6 ALBERTO
DELGADO, RUNE MOELLER JENSEN, AND CHRISTIAN SCHULTE
REAL-TIME TABU SEARCH FOR VIDEO TRACKING ASSOCIATION 21
IVAN DOTU, PASCAL VAN HENTENRYCK, MIGUEL A. PATRICIO. A. BERLANGA, JOSE
GARCIA, AND JOSE M. MOLINA
PIN ASSIGNMENT USING STOCHASTIC LOCAL SEARCH CONSTRAINT PROGRAMMING 35
BELLA DUBROV, HAGGAI ERAN, ARI FREUND, EDWARD F. MARK, SHYAM RAMJI, AND
TIMOTHY A. SCHELL
MODELLING EQUIDISTANT FREQUENCY PERMUTATION ARRAYS: AN APPLICATION OF
CONSTRAINTS TO MATHEMATICS 50
SOPHIE HUCZYNSKA. PAUL MCKAY, IAN MIGUEL, AND PETER NIGHTINGALE
SCHEDULING THE CB1000 NANOPROTEOMIC ANALYSIS SYSTEM WITH PYTHON. TAILOR,
AND MINION 65
ANDREW LOEWENSTERN
SOLVING NURSE ROSTERING PROBLEMS USING SOFT GLOBAL CONSTRAINTS 73
JEAN-PHILIPPE METIVIER, PATRICE BOIZUMAULT, AND SAMIR LOUDNI
ONLINE SELECTION OF QUORUM SYSTEMS FOR RAMBO RECONFIGURATION 88 LAURENT
MICHEL, MARTIJN MORAAL. ALEXANDER SHVARTSRNAN. ELAINE SONDEREGGER, AND
PASCAL VAN HENTENRYCK
A HYBRID CONSTRAINT MODEL FOR THE ROUTING AND WAVELENGTH ASSIGNMENT
PROBLEM 104
HELMUT SIMONIS
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/995948097
DIGITALISIERT DURCH
IMAGE 2
XVIII TABLE OF CONTENTS
RESEARCH TRACK PAPERS
MEMOISATION FOR CONSTRAINT-BASED LOCAL SEARCH 119
MAGNUS AGREN
ON THE STRUCTURE OF INDUSTRIAL SAT INSTANCES 127
CARLOS ANSOTEGUI, MARIA LUISA BONET, AND JORDI LEVY
A GENDER-BASED GENETIC ALGORITHM FOR THE AUTOMATIC CONFIGURATION OF
ALGORITHMS 142
CARLOS ANSOTEGUI, MEINOLF SELLMANN, AND KEVIN TIERNEY
FILTERING NUMERICAL CSPS USING WELL-CONSTRAINED SUBSYSTEMS 158 IGNACIO
ARAYA, GILLES TROMBETTONI, AND BERTRAND NEVEU
MINIMISING DECISION TREE SIZE AS COMBINATORIAL OPTIMISATION 173
CHRISTIAN BESSIERE, EMMANUEL HEBRARD, AND BARRY O'SULLIVAN
HULL CONSISTENCY UNDER MONOTONICITY 188
GILLES CHABERT AND LUC JAULIN
A CONSTRAINT ON THE NUMBER OF DISTINCT VECTORS WITH APPLICATION TO
LOCALIZATION 196
GULES CHABERT, LUC JAULIN, AND XAVIER LORCA
APPROXIMATING WEIGHTED MAX-SAT PROBLEMS BY COMPENSATING FOR RELAXATIONS
211
ARTHUR CHOI, TREVOR STANDLEY, AND ADNAN DARWICHE
CONFIDENCE-BASED WORK STEALING IN PARALLEL CONSTRAINT PROGRAMMING . .
226 GEOFFREY CHU, CHRISTIAN SCHULTE, AND PETER J. STUCKEY
MINIMIZING THE MAXIMUM NUMBER OF OPEN STACKS BY CUSTOMER SEARCH 242
GEOFFREY CHU AND PETER J. STUCKEY
USING RELAXATIONS IN MAXIMUM DENSITY STILL LIFE 258
GEOFFREY CHU, PETER J. STUCKEY, AND MARIA GARCIA DE LA BANDA
CONSTRAINT-BASED GRAPH MATCHING 274
VIANNEY LE CLEMENT, YVES DEVIILE, AND CHRISTINE SOLNON
CONSTRAINT REPRESENTATIONS AND STRUCTURAL TRACTABILITY 289 DAVID A.
COHEN, MARTIN J. GREEN, AND CHRIS HOUGHTON
ASYNCHRONOUS INTER-LEVEL FORWARD-CHECKING FOR DISCSPS 304 REDOUANE
EZZAHIR, CHRISTIAN BESSIERE, MOHAMED WAHBI, IMADE BENELALLAM. AND EL
HOUSSINE BOUYAKHF
FROM MODEL-CHECKING TO TEMPORAL LOGIC CONSTRAINT SOLVING 319 FRANCOIS
PAGES AND AURELIEN RIZK
IMAGE 3
TABLE OF CONTENTS XIX
EXPLOITING PROBLEM STRUCTURE FOR SOLUTION COUNTING 335
AURELIE FAVIER, SIMON DE GIVRY, AND PHILIPPE JEGOU
SOLVING A LOCATION-ALLOCATION PROBLEM WITH LOGIC-BASED BENDERS'
DECOMPOSITION 344
MOHAMMAD M. FAZEL-ZARANDI AND J. CHRISTOPHER BECK
LAZY CLAUSE GENERATION REENGINEERED 352
THIBAUT FEYDY AND PETER J. STUCKEY
THE PROPER TREATMENT OF UNDEFINEDNESS IN CONSTRAINT LANGUAGES 367 ALAN
M. FRISCH AND PETER J. STUCKEY
SEARCH SPACES FOR MIN-PERTURBATION REPAIR 383
ALEX S. FUKUNAGA
SNAKE LEX: AN ALTERNATIVE TO DOUBLE LEX 391
ANDREW GRAYLAND, IAN MIGUEL, AND COIVA M. RONEY-DOUGAL
CLOSING THE OPEN SHOP: CONTRADICTING CONVENTIONAL WISDOM 400 DIARMUID
GRIMES, EMMANUEL HEBRARD, AND ARNAUD MALAPERT,
REASONING ABOUT OPTIMAL COLLECTIONS OF SOLUTIONS 409
TARIK HADZIC, ALAN HOLLAND, AND BARRY O'SULLIVAN
CONSTRAINTS OF DIFFERENCE AND EQUALITY: A COMPLETE TAXONOMIE
CHARACTERISATION 424
EMMANUEL HEBRARD, DANIEL MARX, BARRY 0 'SULLIVAN, AND IGOR RAZGON
SYNTHESIZING FILTERING ALGORITHMS FOR GLOBAL CHANCE-CONSTRAINTS 439
BRAHIM HNICH, ROBERTO ROSSI, S. ARMAGAN TARIM, AND STEVEN PRESTWICH
AN INTERPOLATION METHOD FOR CLP TRAVERSAL 454
JOXAN JAFFAR, ANDREW E. SANTOSA, AND RAZVAN VOICU
SAME-RELATION CONSTRAINTS 470
CHRISTOPHER JEFFERSON, SERDAR KADIOGLU, KAREN E. PETRIE, MEINOLF
SELLMANN, AND STANISLAV ZIVNY
DIALECTIC SEARCH 486
SERDAR KADIOGLU AND MEINOLF SELLMANN
RESTRICTED GLOBAL GRAMMAR CONSTRAINTS 501
GEORGE KATSIRELOS, SEBASTIAN MANETH, NINA NARODYTSKA. AND TOBY WALSH
CONFLICT RESOLUTION 509
KONSTANTIN KOROVIN, NESTAN TSISKARIDZE. AND ANDREI VORONKOV
IMAGE 4
XX TABLE OF CONTENTS
PROPAGATOR GROUPS 524
MIKAEL Z. LAGERKVIST AND CHRISTIAN SCHULTE
EFFICIENT GENERIC SEARCH HEURISTICS WITHIN THE EMBP FRAMEWORK 539 RONAN
LE BRAS, ALESSANDRO ZANARINI, AND GILLES PESANT
FAILED VALUE CONSISTENCIES FOR CONSTRAINT SATISFACTION 554
CHRISTOPHE LECOUTRE AND OLIVIER ROUSSEL
A PRECEDENCE CONSTRAINT POSTING APPROACH FOR THE RCPSP WITH TIME LAGS
AND VARIABLE DURATIONS 569
MICHELE LOMBARDI AND MICHELA MILANO
SOGGY CONSTRAINTS: SOFT OPEN GLOBAL CONSTRAINTS 584
MICHAEL J. MAKER
EXPLOITING PROBLEM DECOMPOSITION IN MULTI-OBJECTIVE CONSTRAINT
OPTIMIZATION 592
RADU MARINESCU
SEARCH SPACE EXTRACTION 608
DEEPAK MEHTA, BARRY O 'SULLIVAN, LUIS QUESADA, AND NIE WILSON
COALITION STRUCTURE GENERATION UTILIZING COMPACT CHARACTERISTIC FUNCTION
REPRESENTATIONS 623
NAOKI OHTA, VINCENT CONITZER, RYO ICHIMURA, YUKO SAKURAI, ATSUSHI
IWASAKI, AND MAKOTO YOKOO
COMPILING ALL POSSIBLE CONFLICTS OF A CSP 639
ALEXANDRE PAPADOPOULOS AND BARRY O'SULLIVAN
ON THE POWER OF CLAUSE-LEARNING SAT SOLVERS WITH RESTARTS 654 KNOT
PIPATSRISAWAT AND ADNAN DARWICHE
SLICE ENCODING FOR CONSTRAINT-BASED PLANNING 669
CEDRIC PRALET AND GERARD VERFAULTE
EVOLVING PARAMETERISED POLICIES FOR STOCHASTIC CONSTRAINT PROGRAMMING
684
STEVEN PRESTWICH, S. ARMAGAN TARIM, ROBERTO ROSSI, AND BRAHIM HNICH
MAINTAINING STATE IN PROPAGATION SOLVERS 692
RAPHAEL M. REISCHUK, CHRISTIAN SCHULTE, PETER J. STUCKEY, AND GUIDO TACK
COST-DRIVEN INTERACTIVE CSP WITH CONSTRAINT RELAXATION 707 YEVGENY
SCHREIBER
IMAGE 5
TABLE OF CONTENTS XXI
WEAKLY MONOTONIE PROPAGATORS 723
CHRISTIAN SCHULTE AND GUIDO TACK
CONSTRAINT-BASED OPTIMAL TESTING USING DNNF GRAPHS 731
ANIKA SCHUMANN. MARTIN SACHENBACHER, AND JINBO HUANG
WHY CUMULATIVE DECOMPOSITION IS NOT AS BAD AS IT SOUNDS 746
ANDREAS SCHUTT, THIBAUT FEYDY, PETER J. STUCKEY, AND MARK G. WALLACE
ON DECOMPOSING KNAPSACK CONSTRAINTS FOR LENGTH-LEX BOUNDS CONSISTENCY
762
MEINOLF SELLMANN
REALTIME ONLINE SOLVING OF QUANTIFIED CSPS 771
DAVID STYNES AND KENNETH N. BROWN
CONSTRAINT-BASED LOCAL SEARCH FOR THE AUTOMATIC GENERATION OF
ARCHITECTURAL TESTS 787
PASCAL VAN HENTENRYCK, CARLETON COFFRIN, AND BORIS GUTKOVICH
EDGE FINDING FILTERING ALGORITHM FOR DISCRETE CUMULATIVE RESOURCES IN
O(KN LOG N) 802
PETR VILIM
EVALUATION OF LENGTH-LEX SET VARIABLES 817
JUSTIN YIP AND PASCAL VAN HENTENRYCK
THE COMPLEXITY OF VALUED CONSTRAINT MODELS 833
STANISLAV ZIVNY AND PETER G. JEAVONS
AUTHOR INDEX 843 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV035723356 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.612 |
| callnumber-search | QA76.612 |
| callnumber-sort | QA 276.612 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)436030812 (DE-599)DNB995948097 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| 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">BV035723356</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100809</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090914s2009 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N36,0074</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">995948097</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642042430</subfield><subfield code="c">PB. : EUR 101.65 (freier Pr.), sfr 147.50 (freier Pr.)</subfield><subfield code="9">978-3-642-04243-0</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642042430</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12753741</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)436030812</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB995948097</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="050" ind1=" " ind2="0"><subfield code="a">QA76.612</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</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="245" ind1="1" ind2="0"><subfield code="a">Principles and Practice of Constraint Programming - CP 2009</subfield><subfield code="b">15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings</subfield><subfield code="c">Ian P. Gent (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXI, 844 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">235 mm x 155 mm</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">5732</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constraint-Programmierung - Kongress - Lissabon <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constraint programming (Computer science)</subfield><subfield code="v">Congresses</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">2009</subfield><subfield code="z">Lissabon</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">Gent, Ian P.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CP</subfield><subfield code="n">15</subfield><subfield code="d">2009</subfield><subfield code="c">Lissabon</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6102566-5</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">5732</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5732</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=018000086&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-018000086</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Lissabon gnd-content |
| genre_facet | Konferenzschrift 2009 Lissabon |
| id | DE-604.BV035723356 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:11:19Z |
| institution | BVB |
| institution_GND | (DE-588)6102566-5 |
| isbn | 9783642042430 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018000086 |
| oclc_num | 436030812 |
| 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 | XXI, 844 S. graph. Darst. 235 mm x 155 mm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings Ian P. Gent (ed.) Berlin [u.a.] Springer 2009 XXI, 844 S. graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 5732 Constraint-Programmierung - Kongress - Lissabon <2009> Constraint programming (Computer science) Congresses Constraint-Programmierung (DE-588)4567206-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Lissabon gnd-content Constraint-Programmierung (DE-588)4567206-4 s DE-604 Gent, Ian P. Sonstige oth CP 15 2009 Lissabon Sonstige (DE-588)6102566-5 oth Lecture Notes in Computer Science 5732 (DE-604)BV000000607 5732 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018000086&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings Lecture Notes in Computer Science Constraint-Programmierung - Kongress - Lissabon <2009> Constraint programming (Computer science) Congresses Constraint-Programmierung (DE-588)4567206-4 gnd |
| subject_GND | (DE-588)4567206-4 (DE-588)1071861417 |
| title | Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings |
| title_auth | Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings |
| title_exact_search | Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings |
| title_full | Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings Ian P. Gent (ed.) |
| title_fullStr | Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings Ian P. Gent (ed.) |
| title_full_unstemmed | Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings Ian P. Gent (ed.) |
| title_short | Principles and Practice of Constraint Programming - CP 2009 |
| title_sort | principles and practice of constraint programming cp 2009 15th international conference cp 2009 lisbon portugal september 20 24 2009 proceedings |
| title_sub | 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings |
| topic | Constraint-Programmierung - Kongress - Lissabon <2009> Constraint programming (Computer science) Congresses Constraint-Programmierung (DE-588)4567206-4 gnd |
| topic_facet | Constraint-Programmierung - Kongress - Lissabon <2009> Constraint programming (Computer science) Congresses Constraint-Programmierung Konferenzschrift 2009 Lissabon |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018000086&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT gentianp principlesandpracticeofconstraintprogrammingcp200915thinternationalconferencecp2009lisbonportugalseptember20242009proceedings AT cplissabon principlesandpracticeofconstraintprogrammingcp200915thinternationalconferencecp2009lisbonportugalseptember20242009proceedings |