Recent Advances in Constraints.: 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2011
|
| Schriftenreihe: | Lecture Notes in Computer Science
6384 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 153 S. graph. Darst. |
| ISBN: | 9783642194856 3642194850 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV037291767 | ||
| 003 | DE-604 | ||
| 005 | 20120614 | ||
| 007 | t| | ||
| 008 | 110321s2011 xx d||| |||| 10||| eng d | ||
| 015 | |a 11,N06 |2 dnb | ||
| 016 | 7 | |a 1009893122 |2 DE-101 | |
| 020 | |a 9783642194856 |c Pb. : EUR 49.22 (DE) (freier Pr.), ca. sfr 66.00 (freier Pr.) |9 978-3-642-19485-6 | ||
| 020 | |a 3642194850 |c Pb. : EUR 49.22 (DE) (freier Pr.), ca. sfr 66.00 (freier Pr.) |9 3-642-19485-0 | ||
| 024 | 3 | |a 9783642194856 | |
| 028 | 5 | 2 | |a Best.-Nr.: 80036630 |
| 035 | |a (OCoLC)711868460 | ||
| 035 | |a (DE-599)DNB1009893122 | ||
| 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 |a DE-355 | ||
| 082 | 0 | |a 005.116 |2 22/ger | |
| 084 | |a ST 304 |0 (DE-625)143653: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Recent Advances in Constraints. |b 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers |c Javier Larrosa .. (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
| 300 | |a 153 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 6384 : Lecture Notes in Artificial Intelligence | |
| 650 | 0 | 7 | |a Constraint-Erfüllung |0 (DE-588)4580374-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Constraint |g Künstliche Intelligenz |0 (DE-588)4314755-0 |2 gnd |9 rswk-swf |
| 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 Barcelona |2 gnd-content | |
| 689 | 0 | 0 | |a Constraint-Programmierung |0 (DE-588)4567206-4 |D s |
| 689 | 0 | 1 | |a Constraint |g Künstliche Intelligenz |0 (DE-588)4314755-0 |D s |
| 689 | 0 | 2 | |a Constraint-Erfüllung |0 (DE-588)4580374-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Larrosa, Javier |e Sonstige |0 (DE-588)138359660 |4 oth | |
| 710 | 2 | |a European Research Consortium for Informatics and Mathematics |e Sonstige |0 (DE-588)2156435-8 |4 oth | |
| 711 | 2 | |a International Workshop on Constraint Solving and Constraint Logic Programming |n 14 |d 2009 |c Barcelona |j Sonstige |0 (DE-588)16105108-X |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 6384 |w (DE-604)BV000000607 |9 6384 | |
| 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=021204327&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-021204327 | |
Datensatz im Suchindex
| _version_ | 1820875297353891840 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
SOLVING W E I G H T ED A R G U M E N T A T I ON F R A M E W O R KS W I
TH SOFT C O N S T R A I N TS . . . 1
STEFANO BISTARELLI, DANIELE PIROLANDI, AND FRANCESCO SANTINI
C O N N E C T I NG B N B - A D O PT W I TH SOFT A RC C O N S I S T E N C
Y: I N I T I AL R E S U L TS . . . 19
PATRICIA GUTIERREZ AND PEDRO MESEGUER
PROCEDURAL CODE GENERATION VS STATIC EXPANSION IN MODELLING LANGUAGES
FOR CONSTRAINT PROGRAMMING 38
JULIEN MARTIN, THIERRY MARTINEZ, AND FRANQOIS FAGES
SOLVING THE STATIC DESIGN ROUTING AND WAVELENGTH ASSIGNMENT PROBLEM 59
HELMUT SIMONIS
A RESOURCE COST AWARE CUMULATIVE 76
HELMUT SIMONIS AND TANK HADZIC
INTEGRATING STRONG LOCAL CONSISTENCIES INTO CONSTRAINT SOLVERS 90 JULIEN
VION, THIERRY PETIT, AND NARENDRA JUSSIEN
DYNAMIC CONSTRAINT SATISFACTION PROBLEMS: RELATIONS AMONG SEARCH
STRATEGIES, SOLUTION SETS AND ALGORITHM PERFORMANCE 105
RICHARD J. WALLACE, DIARMUID GRIMES, AND EUGENE C. FREUDER
CONSTRAINT-BASED MODELING AND SCHEDULING OF CLINICAL PATHWAYS 122 ARMIN
WOLF
MAC-DBT REVISITED 139
ROIE ZIVAN, URI SHAPEN, MOSHE ZAZONE, AND AMNON MEISELS
AUTHOR INDEX 155
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1009893122
DIGITALISIERT DURCH |
| any_adam_object | 1 |
| author_GND | (DE-588)138359660 |
| building | Verbundindex |
| bvnumber | BV037291767 |
| classification_rvk | ST 304 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)711868460 (DE-599)DNB1009893122 |
| 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">BV037291767</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120614</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">110321s2011 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N06</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1009893122</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642194856</subfield><subfield code="c">Pb. : EUR 49.22 (DE) (freier Pr.), ca. sfr 66.00 (freier Pr.)</subfield><subfield code="9">978-3-642-19485-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642194850</subfield><subfield code="c">Pb. : EUR 49.22 (DE) (freier Pr.), ca. sfr 66.00 (freier Pr.)</subfield><subfield code="9">3-642-19485-0</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642194856</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80036630</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)711868460</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1009893122</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><subfield code="a">DE-355</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">ST 304</subfield><subfield code="0">(DE-625)143653:</subfield><subfield code="2">rvk</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">Recent Advances in Constraints.</subfield><subfield code="b">14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers</subfield><subfield code="c">Javier Larrosa .. (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">153 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">6384 : Lecture Notes in Artificial Intelligence</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="650" ind1="0" ind2="7"><subfield code="a">Constraint</subfield><subfield code="g">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4314755-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Barcelona</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="1"><subfield code="a">Constraint</subfield><subfield code="g">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4314755-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><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">Larrosa, Javier</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)138359660</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">European Research Consortium for Informatics and Mathematics</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)2156435-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Workshop on Constraint Solving and Constraint Logic Programming</subfield><subfield code="n">14</subfield><subfield code="d">2009</subfield><subfield code="c">Barcelona</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16105108-X</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">6384</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6384</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=021204327&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-021204327</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Barcelona gnd-content |
| genre_facet | Konferenzschrift 2009 Barcelona |
| id | DE-604.BV037291767 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:13:22Z |
| institution | BVB |
| institution_GND | (DE-588)2156435-8 (DE-588)16105108-X |
| isbn | 9783642194856 3642194850 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-021204327 |
| oclc_num | 711868460 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-11 DE-83 DE-355 DE-BY-UBR |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-11 DE-83 DE-355 DE-BY-UBR |
| physical | 153 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 | Recent Advances in Constraints. 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers Javier Larrosa .. (eds.) Berlin [u.a.] Springer 2011 153 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 6384 : Lecture Notes in Artificial Intelligence Constraint-Erfüllung (DE-588)4580374-2 gnd rswk-swf Constraint Künstliche Intelligenz (DE-588)4314755-0 gnd rswk-swf Constraint-Programmierung (DE-588)4567206-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Barcelona gnd-content Constraint-Programmierung (DE-588)4567206-4 s Constraint Künstliche Intelligenz (DE-588)4314755-0 s Constraint-Erfüllung (DE-588)4580374-2 s DE-604 Larrosa, Javier Sonstige (DE-588)138359660 oth European Research Consortium for Informatics and Mathematics Sonstige (DE-588)2156435-8 oth International Workshop on Constraint Solving and Constraint Logic Programming 14 2009 Barcelona Sonstige (DE-588)16105108-X oth Lecture Notes in Computer Science 6384 (DE-604)BV000000607 6384 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=021204327&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Recent Advances in Constraints. 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers Lecture Notes in Computer Science Constraint-Erfüllung (DE-588)4580374-2 gnd Constraint Künstliche Intelligenz (DE-588)4314755-0 gnd Constraint-Programmierung (DE-588)4567206-4 gnd |
| subject_GND | (DE-588)4580374-2 (DE-588)4314755-0 (DE-588)4567206-4 (DE-588)1071861417 |
| title | Recent Advances in Constraints. 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers |
| title_auth | Recent Advances in Constraints. 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers |
| title_exact_search | Recent Advances in Constraints. 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers |
| title_full | Recent Advances in Constraints. 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers Javier Larrosa .. (eds.) |
| title_fullStr | Recent Advances in Constraints. 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers Javier Larrosa .. (eds.) |
| title_full_unstemmed | Recent Advances in Constraints. 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers Javier Larrosa .. (eds.) |
| title_short | Recent Advances in Constraints. |
| title_sort | recent advances in constraints 14th annual ercim international workshop on constraint solving and constraint logic programming csclp 2009 barcelona spain june 15 17 2009 revised selected papers |
| title_sub | 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers |
| topic | Constraint-Erfüllung (DE-588)4580374-2 gnd Constraint Künstliche Intelligenz (DE-588)4314755-0 gnd Constraint-Programmierung (DE-588)4567206-4 gnd |
| topic_facet | Constraint-Erfüllung Constraint Künstliche Intelligenz Constraint-Programmierung Konferenzschrift 2009 Barcelona |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=021204327&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT larrosajavier recentadvancesinconstraints14thannualerciminternationalworkshoponconstraintsolvingandconstraintlogicprogrammingcsclp2009barcelonaspainjune15172009revisedselectedpapers AT europeanresearchconsortiumforinformaticsandmathematics recentadvancesinconstraints14thannualerciminternationalworkshoponconstraintsolvingandconstraintlogicprogrammingcsclp2009barcelonaspainjune15172009revisedselectedpapers AT internationalworkshoponconstraintsolvingandconstraintlogicprogrammingbarcelona recentadvancesinconstraints14thannualerciminternationalworkshoponconstraintsolvingandconstraintlogicprogrammingcsclp2009barcelonaspainjune15172009revisedselectedpapers |