Holdings: Principles and practice of constraint programming

Principles and practice of constraint programming - CP 2002: 8th international conference, CP 2002, Ithaca, NY, USA, September 9 - 13, 2002 ; proceedings

Saved in:

Bibliographic Details
Corporate Author:	CP Ithaca, NY (Author)
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2002
Series:	Lecture notes in computer science 2470
Subjects:	Constraint-Programmierung Konferenzschrift > 2002 > Ithaca NY
Online Access:	Inhaltsverzeichnis
Physical Description:	XVI, 794 S. graph. Darst.
ISBN:	3540441204

Staff View

MARC


LEADER	00000nam a22000008cb4500
001	BV014654185
003	DE-604
005	20021002
007	t\|
008	020813s2002 gw d\|\|\| \|\|\|\| 10\|\|\| eng d
016	7		\|a 964910187 \|2 DE-101
020			\|a 3540441204 \|9 3-540-44120-4
035			\|a (OCoLC)314038108
035			\|a (DE-599)BVBBV014654185
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c DE
049			\|a DE-384 \|a DE-91G \|a DE-739 \|a DE-83 \|a DE-706
082	0		\|a 005.11
084			\|a DAT 310f \|2 stub
111	2		\|a CP \|n 8 \|d 2002 \|c Ithaca, NY \|j Verfasser \|0 (DE-588)10041659-7 \|4 aut
245	1	0	\|a Principles and practice of constraint programming - CP 2002 \|b 8th international conference, CP 2002, Ithaca, NY, USA, September 9 - 13, 2002 ; proceedings \|c Pascal Van Hentenryck (ed.)
264		1	\|a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London \|b Springer \|c 2002
300			\|a XVI, 794 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 2470
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 2002 \|z Ithaca NY \|2 gnd-content
689	0	0	\|a Constraint-Programmierung \|0 (DE-588)4567206-4 \|D s
689	0		\|5 DE-604
700	1		\|a Van Hentenryck, Pascal \|d 1963- \|e Sonstige \|0 (DE-588)115539751 \|4 oth
830		0	\|a Lecture notes in computer science \|v 2470 \|w (DE-604)BV000000607 \|9 2470
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=009947141&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-009947141

Record in the Search Index

_version_	1820874914211561472
adam_text	TABLE OF CONTENTS TECHNICAL PAPERS REDUCED COST-BASED RANKING FOR GENERATING PROMISING SUBPROBLEMS . . . . . . . 1 MICHELA MILANO AND WILLEM J. VAN HOEVE INTEGRATING CONSTRAINT AND INTEGER PROGRAMMING FOR THE ORTHOGONAL LATIN SQUARES PROBLEM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 GAUTAM APPA, IOANNIS MOURTOS, AND DIMITRIS MAGOS ON OPTIMAL CORRECTIONOF INCONSISTENT LINEAR CONSTRAINTS .33 PAULA AMARAL AND PEDRO BARAHONA TEMPORAL PLANNING THROUGH MIXED INTEGER PROGRAMMING: APRELIMINARYREPORT . 47 YANNIS DIMOPOULOS AND ALFONSO GEREVINI ANEW MULTI-RESOURCE CUMULATIVES CONSTRAINT WITH NEGATIVE HEIGHTS . . . . . . . 63 NICOLAS BELDICEANU AND MATS CARLSSON ON THE SUM CONSTRAINT: RELAXATION AND APPLICATIONS .80 TAL LYS H. YUNES GLOBAL CONSTRAINTSFOR LEXICOGRAPHICORDERINGS .93 ALAN FRISCH, BRAHIM HNICH, ZEYNEP KIZILTAN, IAN MIGUEL, AND TOBY WALSH AGLOBAL FILTERING ALGORITHM FOR HANDLING SYSTEMS OF QUADRATICEQUATIONSAND INEQUATIONS .109 YAHIA LEBBAH, MICHEL RUEHER, AND CLAUDE MICHEL AMPLIFICATION OF SEARCH PERFORMANCE THROUGH RANDOMIZATION OF HEURISTICS .124 VINCENT A. CICIRELLO AND STEPHEN F. SMITH COMPUTING THE ENVELOPE FOR STEPWISE-CONSTANT RESOURCE ALLOCATIONS . . . . . 139 NICOLA MUSCETTOLA LOCAL PROBING APPLIED TO SCHEDULING . 155 OLLI KAMARAINEN AND HANI EL SAKKOUT AHYBRID APPROACHFOR SAT .172 DJAMAL HABET, CHU MIN LI, LAURE DEVENDEVILLE, AND MICHEL VASQUEZ RECOVERING AND EXPLOITING STRUCTURAL KNOWLEDGE FROM CNF FORMULAS . . . . . 185 RICHARD OSTROWSKI, ´ ERIC GR´EGOIRE, BERTRAND MAZURE, AND LAKHDAR SA¨OS TOWARDS A SYMMETRIC TREATMENT OF SATISFACTION AND CONFLICTS IN QUANTIFIED BOOLEANFORMULA EVALUATION .200 LINTAO ZHANG AND SHARAD MALIK XII TABLE OF CONTENTS ACCELERATING RANDOM WALKS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 216 WEI WEI AND BART SELMAN SCALING AND PROBABILISTIC SMOOTHING: EFFICIENT DYNAMIC LOCAL SEARCHFOR SAT .233 FRANK HUTTER, DAVE A. D. TOMPKINS, AND HOLGER H. HOOS LEARNING AND SOLVING SOFT TEMPORAL CONSTRAINTS: AN EXPERIMENTAL STUDY .249 FRANCESCA ROSSI, ALESSANDRO SPERDUTI, KRISTEN B. VENABLE, LINA KHATIB, PAUL MORRIS, AND ROBERT MORRIS OPPORTUNISTIC SPECIALIZATION IN RUSSIAN DOLL SEARCH .264 PEDRO MESEGUER, MART´OS´ ANCHEZ, AND G´ERARD VERFAILLIE RANGE-BASEDALGORITHM FOR MAX-CSP .280 THIERRY PETIT, JEAN-CHARLES R´EGIN, AND CHRISTIAN BESSI`ERE RESOLUTION COMPLEXITY OF RANDOM CONSTRAINTS .295 DAVID G. MITCHELL CONSTRAINT SATISFACTION, BOUNDED TREEWIDTH, AND FINITE-VARIABLE LOGICS . . . 310 V´OCTOR DALMAU, PHOKION G. KOLAITIS, AND MOSHE Y. VARDI DETERMINING THE NUMBER OF SOLUTIONS TO BINARY CSP INSTANCES . . . . . . . . . . . 327 OLA ANGELSMARK, PETER JONSSON, SVANTE LINUSSON, AND JOHAN THAPPER CONSISTENCY CHECKING FOR QUALITATIVE SPATIAL REASONING WITH CARDINAL DIRECTIONS .341 SPIROS SKIADOPOULOS AND MANOLIS KOUBARAKIS OPEN CONSTRAINTSATISFACTION .356 BOI FALTINGS AND SANTIAGO MACHO-GONZALEZ BEYOND NP: ARC-CONSISTENCYFOR QUANTIFIED CONSTRAINTS .371 LUCAS BORDEAUX AND ERIC MONFROY SECURE DISTRIBUTED CONSTRAINT SATISFACTION: REACHING AGREEMENT WITHOUT REVEALING PRIVATE INFORMATION .387 MAKOTO YOKOO, KOUTAROU SUZUKI, AND KATSUTOSHI HIRAYAMA ADUAL GRAPH TRANSLATIONOF A PROBLEMIN LIFE .402 BARBARA M. SMITH GROUPS AND CONSTRAINTS: SYMMETRY BREAKING DURING SEARCH .415 IAN P. GENT, WARWICK HARVEY, AND TOM KELSEY PARTIALSYMMETRY BREAKING .431 IAIN MCDONALD AND BARBARA SMITH SYMMETRY BREAKINGREVISITED .446 JEAN-FRAN¸COIS PUGET TABLE OF CONTENTS XIII BREAKING ROW AND COLUMN SYMMETRIES IN MATRIX MODELS .462 PIERRE FLENER, ALAN M. FRISCH, BRAHIM HNICH, ZEYNEP KIZILTAN, IAN MIGUEL, JUSTIN PEARSON, AND TOBY WALSH SOLVING THE KIRKMANSSCHOOLGIRLPROBLEM IN A FEW SECONDS .477 NICOLAS BARNIER AND PASCAL BRISSET INFERRING CONSTRAINT TYPES IN CONSTRAINT PROGRAMMING .492 DAVID LESAINT MODEL-BASED PROGRAMMING: CONTROLLING EMBEDDED SYSTEMS BY REASONING ABOUT HIDDEN STATE .508 BRIAN C. WILLIAMS AND MICHEL D. INGHAM THE ADAPTIVE CONSTRAINT ENGINE .525 SUSAN L. EPSTEIN, EUGENE C. FREUDER, RICHARD WALLACE, ANTON MOROZOV, AND BRUCE SAMUELS INDEXICAL-BASEDSOLVER LEARNING .541 THI BICH HANH DAO, ARNAUD LALLOUET, ANDREI LEGTCHENKO, AND LIONEL MARTIN LEARNING THE EMPIRICAL HARDNESS OF OPTIMIZATION PROBLEMS: THE CASE OF COMBINATORIALAUCTIONS . 556 KEVIN LEYTON-BROWN, EUGENE NUDELMAN, AND YOAV SHOHAM RESTART POLICIES WITH DEPENDENCE AMONG RUNS: ADYNAMIC PROGRAMMINGAPPROACH .573 YONGSHAO RUAN, ERIC HORVITZ, AND HENRY KAUTZ INNOVATIVE APPLICATIONS VISOPT SHOPFLOOR: ON THE EDGE OF PLANNING AND SCHEDULING . . . . . . . . . . . . . . .587 ROMAN BART´AK CONSTRAINT PROGRAMMING CONTRIBUTION TO BENDERS DECOMPOSITION: ACASE STUDY . 603 THIERRY BENOIST, ETIENNE GAUDIN, AND BENOOT ROTTEMBOURG MODELING CAMERA CONTROLWITH CONSTRAINED HYPERTUBES .618 MARC CHRISTIE, ´ ERIC LANGU´ENOU, AND LAURENT GRANVILLIERS ROBUST AND PARALLELSOLVING OF A NETWORKDESIGN PROBLEM .633 CLAUDE LE PAPE, LAURENT PERRON, JEAN-CHARLES R´EGIN, AND PAUL SHAW CONNECTIONS RESERVATION WITH REROUTING FOR ATM NETWORKS: AHYBRID APPROACHWITH CONSTRAINTS .649 MURIEL LAUVERGNE, PHILIPPE DAVID, AND PATRICE BOIZUMAULT COMMUNICATION AND COMPUTATION IN DISTRIBUTED CSP ALGORITHMS . . . . . . . . 664 C`ESAR FERN`ANDEZ, RAM´ON B´EJAR, BHASKAR KRISHNAMACHARI, AND CARLA GOMES XIV TABLE OF CONTENTS POSTERS CONTINUOUS FIRST-ORDER CONSTRAINT SATISFACTION WITH EQUALITY AND DISEQUALITY CONSTRAINTS .680 STEFAN RATSCHAN ARELAXATION OF THE CUMULATIVE CONSTRAINT .686 JOHN N. HOOKER AND HONG YAN IMPROVING GSAT USING 2SAT .691 PETER J. STUCKEY AND LEI ZHENG ARELATIONAL CONSTRAINT SOLVER FOR MODEL-BASED ENGINEERING . . . . . . . . . . . . . . 696 JAKOB MAUSS, FRANK SEELISCH, AND MUGUR TATAR CONFLICT-BASED REPAIR TECHNIQUES FOR SOLVING DYNAMIC SCHEDULING PROBLEMS .702 ABDALLAH ELKHYARI, CHRISTELLE GU´ERET, AND NARENDRA JUSSIEN SCALING PROPERTIESOF PURERANDOM WALK ON RANDOM 3-SAT .708 ANDREW J. PARKES CRITICALITY AND PARALLELISMIN STRUCTURED SAT INSTANCES .714 ANDREA ROLI CHARACTERIZING SAT PROBLEMS WITH THE ROW CONVEXITY PROPERTY . . . . . . . . . . 720 HACHEMI BENNACEUR AND CHU MIN LI INTERCHANGEABILITY IN SOFT CSPS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 726 STEFANO BISTARELLI, BOI FALTINGS, AND NICOLETA NEAGU ON CONSTRAINT PROBLEMS WITH INCOMPLETE OR ERRONEOUS DATA . . . . . . . . . . . . . . 732 NEIL YORKE-SMITH AND CARMEN GERVET HEURISTIC CONSTRAINT PROPAGATION . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 738 MEINOLF SELLMANN AND WARWICK HARVEY AN ARC-CONSISTENCY ALGORITHM FOR THE MINIMUM WEIGHT ALL DIFFERENT CONSTRAINT .744 MEINOLF SELLMANN ALGEBRAIC PROPERTIESOF CSP MODEL OPERATORS .750 Y. C. LAW AND JIMMY H. M. LEE AC-3 D AN EFFICIENT ARC-CONSISTENCY ALGORITHM WITH A LOW SPACE-COMPLEXITY .755 MARC R. C. VAN DONGEN DOCTORAL PROGRAM INTEGRATING SEARCH OBJECTS IN ASYNCHRONOUS CONSTRAINT SOLVING . . . . . . . . . . . 761 GEORG RINGWELSKI TABLE OF CONTENTS XV DISTRIBUTED CONSTRAINT-BASEDRAILWAYSIMULATION .762 HANS SCHLENKER SYMMETRY BREAKINGIN PEACEABLYCOEXISTING ARMIES OF QUEENS . 763 KAREN E. PETRIE BATCH PROCESSING WITH SEQUENCE DEPENDENT SETUP TIMES . 764 PETR VIL´OM INTERACTIVEHEURISTIC SEARCHALGORITHM .765 TOM´AYSM¨ ULLER ON CONSTRAINT PROBLEMS WITH INCOMPLETE OR ERRONEOUS DATA . . . . . . . . . . . . . . 766 NEIL YORKE-SMITH DESIGN OF A NEW METAHEURISTIC FOR MAXSAT PROBLEMS . 767 ANDREA ROLI DISJUNCTIVE AND CONTINUOUS CONSTRAINT SATISFACTION PROBLEMS . . . . . . . . . . . . . 768 MIGUEL A. SALIDO AND FEDERICO BARBER TUNING RANDOMIZATIONIN BACKTRACKSEARCH SAT ALGORITHMS .769 INES LYNCE AND JOAO MARQUES-SILVA CONSTRAINT SOLVING IN TEST-DATA GENERATION .770 YUAN ZHAN IMPROVING COST CALCULATIONS FOR GLOBAL CONSTRAINTS IN LOCAL SEARCH . . . . . . .772 MARKUS BOHLIN AMODELING FRAMEWORKFOR CONSTRAINTS .773 GERRIT RENKER ALINEAR PROGRAMMING BASED SATISFIABILITY SOLVER USING A NEW HORN-DRIVEN SEARCHTREE DESIGN .775 LINDA VAN NORDEN AND HANS VAN MAAREN ACONCURRENT CONSTRAINT PROGRAMMING APPROACH FOR TRAJECTORYDETERMINATION OF AUTONOMOUS VEHICLES .777 LUIS QUESADA AND PETER VAN ROY USING CONSTRAINT PROPAGATION TO ACCELERATE COLUMN GENERATION IN AIRCRAFT SCHEDULING .778 MATTIAS GR¨ONKVIST SOLVING AND LEARNING SOFT TEMPORAL CONSTRAINTS; CETERIS PARIBUS STATEMENTS REPRESENTED AS SOFT CONSTRAINTS PROBLEMS . . . . 779 KRISTEN B. VENABLE APARTIALLY SOLVED FORM FOR HETEROGENEOUS CONSTRAINTS IN DISJUNCTIVE NORMAL FORM .780 FRANK SEELISCH MODELS OF INJECTION PROBLEMS .781 BRAHIM HNICH AND TOBY WALSH XVI TABLE OF CONTENTS PARTIALSYMMETRY BREAKING .782 IAIN MCDONALD AUTOMATIC GENERATION OF IMPLIED CLAUSES FOR SAT .783 LYNDON DRAKE, ALAN FRISCH, AND TOBY WALSH BRIDGING THE GAP BETWEEN SAT AND CSP .784 CARLOS ANS´OTEGUI AND FELIP MANY`A REDUCING SYMMETRY IN MATRIX MODELS .786 ZEYNEP KIZILTAN STUDYING INTERCHANGEABILITY IN CONSTRAINT SATISFACTION PROBLEMS . . . . . . . . . . 787 NICOLETA NEAGU CONSTRAINT MODELING IN THE CONTEXT OF ACADEMIC TASK ASSIGNMENT . . . . . . . . 789 ROBERT GLAUBIUS AND BERTHE Y. CHOUEIRY DESIGN TRADEOFFS FOR AUTONOMOUS TRADING AGENTS .790 IOANNIS A. VETSIKAS AUTHOR INDEX .793
any_adam_object	1
author_GND	(DE-588)115539751
author_corporate	CP Ithaca, NY
author_corporate_role	aut
author_facet	CP Ithaca, NY
author_sort	CP Ithaca, NY
building	Verbundindex
bvnumber	BV014654185
classification_rvk	SS 4800
classification_tum	DAT 310f
ctrlnum	(OCoLC)314038108 (DE-599)BVBBV014654185
dewey-full	005.11
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.11
dewey-search	005.11
dewey-sort	15.11
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 a22000008cb4500</leader><controlfield tag="001">BV014654185</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20021002</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">020813s2002 gw d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">964910187</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540441204</subfield><subfield code="9">3-540-44120-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)314038108</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014654185</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">CP</subfield><subfield code="n">8</subfield><subfield code="d">2002</subfield><subfield code="c">Ithaca, NY</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)10041659-7</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Principles and practice of constraint programming - CP 2002</subfield><subfield code="b">8th international conference, CP 2002, Ithaca, NY, USA, September 9 - 13, 2002 ; proceedings</subfield><subfield code="c">Pascal Van Hentenryck (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 794 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">2470</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">2002</subfield><subfield code="z">Ithaca NY</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">Van Hentenryck, Pascal</subfield><subfield code="d">1963-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)115539751</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">2470</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2470</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=009947141&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-009947141</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2002 Ithaca NY gnd-content
genre_facet	Konferenzschrift 2002 Ithaca NY
id	DE-604.BV014654185
illustrated	Illustrated
indexdate	2025-01-10T15:07:18Z
institution	BVB
institution_GND	(DE-588)10041659-7
isbn	3540441204
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-009947141
oclc_num	314038108
open_access_boolean
owner	DE-384 DE-91G DE-BY-TUM DE-739 DE-83 DE-706
owner_facet	DE-384 DE-91G DE-BY-TUM DE-739 DE-83 DE-706
physical	XVI, 794 S. graph. Darst.
publishDate	2002
publishDateSearch	2002
publishDateSort	2002
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	CP 8 2002 Ithaca, NY Verfasser (DE-588)10041659-7 aut Principles and practice of constraint programming - CP 2002 8th international conference, CP 2002, Ithaca, NY, USA, September 9 - 13, 2002 ; proceedings Pascal Van Hentenryck (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2002 XVI, 794 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2470 Constraint-Programmierung (DE-588)4567206-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2002 Ithaca NY gnd-content Constraint-Programmierung (DE-588)4567206-4 s DE-604 Van Hentenryck, Pascal 1963- Sonstige (DE-588)115539751 oth Lecture notes in computer science 2470 (DE-604)BV000000607 2470 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009947141&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Principles and practice of constraint programming - CP 2002 8th international conference, CP 2002, Ithaca, NY, USA, September 9 - 13, 2002 ; 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 2002 8th international conference, CP 2002, Ithaca, NY, USA, September 9 - 13, 2002 ; proceedings
title_auth	Principles and practice of constraint programming - CP 2002 8th international conference, CP 2002, Ithaca, NY, USA, September 9 - 13, 2002 ; proceedings
title_exact_search	Principles and practice of constraint programming - CP 2002 8th international conference, CP 2002, Ithaca, NY, USA, September 9 - 13, 2002 ; proceedings
title_full	Principles and practice of constraint programming - CP 2002 8th international conference, CP 2002, Ithaca, NY, USA, September 9 - 13, 2002 ; proceedings Pascal Van Hentenryck (ed.)
title_fullStr	Principles and practice of constraint programming - CP 2002 8th international conference, CP 2002, Ithaca, NY, USA, September 9 - 13, 2002 ; proceedings Pascal Van Hentenryck (ed.)
title_full_unstemmed	Principles and practice of constraint programming - CP 2002 8th international conference, CP 2002, Ithaca, NY, USA, September 9 - 13, 2002 ; proceedings Pascal Van Hentenryck (ed.)
title_short	Principles and practice of constraint programming - CP 2002
title_sort	principles and practice of constraint programming cp 2002 8th international conference cp 2002 ithaca ny usa september 9 13 2002 proceedings
title_sub	8th international conference, CP 2002, Ithaca, NY, USA, September 9 - 13, 2002 ; proceedings
topic	Constraint-Programmierung (DE-588)4567206-4 gnd
topic_facet	Constraint-Programmierung Konferenzschrift 2002 Ithaca NY
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009947141&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT cpithacany principlesandpracticeofconstraintprogrammingcp20028thinternationalconferencecp2002ithacanyusaseptember9132002proceedings AT vanhentenryckpascal principlesandpracticeofconstraintprogrammingcp20028thinternationalconferencecp2002ithacanyusaseptember9132002proceedings

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items