Principles and practice of constraint programming - CP 2005: 11th international conference, CP 2005, Sitges, Spain, October 1 - 5 ; proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2005
|
| Schriftenreihe: | Lecture notes in computer science
3709 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XX, 887 S. Ill., graph. Darst. |
| ISBN: | 9783540292388 3540292381 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV020857429 | ||
| 003 | DE-604 | ||
| 005 | 20051117 | ||
| 007 | t| | ||
| 008 | 051107s2005 gw ad|| |||| 10||| eng d | ||
| 015 | |a 05,A45,0048 |2 dnb | ||
| 016 | 7 | |a 976469669 |2 DE-101 | |
| 020 | |a 9783540292388 |c kart. : EUR 98.44 (freier Pr.), sfr 156.00 (freier Pr.) |9 978-3-540-29238-8 | ||
| 020 | |a 3540292381 |c kart. : EUR 98.44 (freier Pr.), sfr 156.00 (freier Pr.) |9 3-540-29238-1 | ||
| 024 | 3 | |a 9783540292388 | |
| 028 | 5 | 2 | |a 11564751 |
| 035 | |a (OCoLC)633670080 | ||
| 035 | |a (DE-599)BVBBV020857429 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-739 |a DE-91G |a DE-706 |a DE-11 |a DE-83 | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 706f |2 stub | ||
| 111 | 2 | |a CP |n 11 |d 2005 |c Sitges |j Verfasser |0 (DE-588)10116459-2 |4 aut | |
| 245 | 1 | 0 | |a Principles and practice of constraint programming - CP 2005 |b 11th international conference, CP 2005, Sitges, Spain, October 1 - 5 ; proceedings |c Peter van Beek (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2005 | |
| 300 | |a XX, 887 S. |b Ill., 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 3709 | |
| 500 | |a Literaturangaben | ||
| 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 2005 |z Sitges |2 gnd-content | |
| 689 | 0 | 0 | |a Constraint-Programmierung |0 (DE-588)4567206-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Beek, Peter van |e Sonstige |0 (DE-588)130397822 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 3709 |w (DE-604)BV000000607 |9 3709 | |
| 856 | 4 | 2 | |m Digitalisierung UBPassau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014179041&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-014179041 | |
Datensatz im Suchindex
| _version_ | 1820874967047208960 |
|---|---|
| adam_text |
Table of Contents
Invited Papers
Search and Inference in
Héctor
OWL: A Description Logic Based Ontology Language
Ian Horrocks
Preference Reasoning
Francesco, Rossi
The G12 Project: Mapping Solver Independent Models to Efficient
Solutions
Peter J. Stuckey, Maria Garcia
Kim Marriott, John Slaney, Zoltan Somogyi, Mark Wallace,
Toby Walsh
Best Papers
Symmetry Definitions for Constraint Satisfaction Problems
David Cohen, Peter Jeavons, Christopher Jefferson, Karen E.
Barbara M. Smith
Dynamic Ordering for Asynchronous Backtracking on DisCSPs
Roie Zivan, Amnon Meisels
Pull Papers
Incremental Algorithms for Local Search from Existential Second-Order
Logic
Magnus
Inter-distance Constraint: An Extension of the All-Different Constraint
for Scheduling Equal Length Jobs
Konstantin
Mind the Gaps: A New Splitting Strategy for Consistency Techniques
Heikel Batnini,
XII Table of Contents
Graph Invariants as Necessary Conditions for Global Constraints
Nicolas BeUMceanu, Mats Carlsson,
Charlotte Truchet
Allocation and Scheduling for MPSoCs via Decomposition and
No-Good Generation
Luca
Sub-optimality Approximations
Russell Bent, hit KatHel, Pascal Van Hentenryek
A Linear-Logic Semantics for Constraint Handling Rules
HariolfBetz, Thorn Friihvdrth
Distributed Stable Matching Problems
Ismel Brito, Pedro Meseguer
Beyond Hypertree Width: Decomposition Methods Without
Decompositions
Hubie Chen, Victor Daknau
Ad-hoc Global Constraints for Life
Kenü
Tractable Clones of Polynomials over Semigroups
Victor
CP(Graph): Introducing a Graph Computation Domain in Constraint
Programming
Grégoire
Interval Analysis in Scheduling
Jérôme Fortin,
Assumption-Based Pruning in Conditional CSP
Felix
Conditional Symmetry Breaking
Ian P. Gent, Tom Kelsey, Steve A. Linton, Iain McDonald,
Ian Miguel, Barbara M. Smith
Symmetry and Consistency
Ian P. Gent, Tom Kelsey, Steve Linton,
Solving the MOLR and Social Golfers Problems
Warwick Harvey,
Table of Contents XIII
Advances in Polytime
Laurent
Planning and Scheduling to Minimize Tardiness
J.N. Hooker
Search Heuristics and Heavy-Tailed Behaviour
Tudor Hulubei, Barry O'Sullivan
2
Joey Hwang, David G. Mitchell
Maintaining Longest Paths in Cyclic Graphs
Irit Katriel, Pascal Van Hentenryck
Applying Constraint Programming to Rigid Body Protein Docking
Ludwig
Maximum Constraint Satisfaction on Diamonds
Andrei Erokhin,
Exploiting Unit Propagation to Compute Lower Bounds in Branch and
Bound Max-SAT Solvers
Chu
Generalized Conflict Learning for Hybrid Discrete/Linear Optimization
Hui Li, Brian Williams
Parallel Local Search in Comet
Laurent Michel, Pascal Van Hentenryck
Generating Corrective Explanations for Interactive Constraint
Satisfaction
Barry O'Callaghan, Barry O'Sullivan, Eugene C. Freuder
SPIllI/AD: A Balancing Constraint Based on Statistics
Gilles Pesant,
Automatic
Jean-François Puget
Breaking All Value Symmetries in Surjection Problems
Jean-François
XIV Table of Contents
AC-*: A Configurable, Generic and Adaptive Arc Consistency Algorithm
Jean-Charles Régin
Maintaining Arc Consistency Algorithms During the Search Without
Additional Space Cost
Jean-Charles Régin
Weak Composition for Qualitative Spatial and Temporal Reasoning
Jochen Renz,
Boosting Distributed Constraint Satisfaction
Georg Ringwelski,
Depth-First Mini-Bucket Elimination
Emma
Using SAT in QBF
Horst SamulovÄtz, Fahiem
Tree Decomposition with Function Filtering
Martí Sánchez,
On Solving Soft Temporal Constraints Using SAT Techniques
Hossein M. Sheini, Bart Peintner, Karem A. Sakallah,
Martha E. Pollack
Eplex: Harnessing Mathematical Programming Solvers for Constraint
Logic Programming
Kish Shen, Joachim
Caching Search States in Permutation Problems
Barbara M. Smith
Repair-Based Methods for Quantified CSPs
Kostas Stergiou
Handling Implication and Universal Quantification Constraints in FLUX
Michael Thielscher
Solving Simple Planning Problems withMore Inference and No Search
Vincent
Solving Large-Scale Nonlinear Programming Problems by Constraint
Partitioning
Benjamin W. Wah, Yixin Chen
Table of Contents XV
Factor Analytic Studies of CSP Heuristics
Richard J. Wallace
Short Papers
Lookahead Saturation with Restriction for SAT
Anbulagan, John Slaney
Evolving Variable-Ordering Heuristics for Constrained Optimisation
Stuart Bain, John Thornton, Abdul Sattar
Multi-point Constructive Search
J. Christopher Beck
Bounds of Graph Characteristics
Nicolas
Acquiring Parameters of Implied Global Constraints
Christian Bessiere,
Integrating Benders Decomposition Within Constraint Programming
Hadrien
Using Boolean Constraint Propagation for Sub-clauses Deduction
S. Darras, G. Dequen, L.
L.
Extending Systematic Local Search for Job Shop Scheduling Problems
Bistra Dilhina, Lei Duan, William S. Havens
Interactive Reconfiguration in Power Supply Restoration
Tarik Hadzic,
Neighbourhood Clause Weight Redistribution in Local Search for SAT
Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar,
Due Nghia Pharn
Computing and Exploiting Tree-Decompositions for Solving Constraint
Networks
Philippe
Encoding Requests to Web Service Compositions as Constraints
Alexander Lazovik, Marco
XVI Table of Contents
Test Instance Generation for MAX 2SAT
Mutuo
Consistency for Quantified Constraint Satisfaction Problems
Peter Nightingale
Alternate Modeling in Sport Scheduling
Laurent Perron
Approximations in Distributed Optimization
Adrian
Extremal CSPs
Nicolas Prcovic
Beyond Finite Domains: The All Different and Global Cardinality
Constraints
Claude-Guy Quimper, Toby Walsh
Views and Iterators for Generic Constraint Implementations
Christian
Approximated Consistency for the Automatic Recording Problem
Meinolf Sellmann
Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
Carsten
Approximate Constrained Subgraph Matching
Stéphane
Doctoral
Distributed Constraints for Large-Scale Scheduling Problems
Montserrat Abril,
Solving Over-Constrained Problems with SAT
Josep Argelich, Felip
A Constraint Based Agent for TAC-SCM
David A. Burke, Kenneth N. Brown
Solving the Car-Sequencing Problem as a Non-binary CSP
Mihaela Butaru, Zineb Habbas
Table of
Dimensioning an Inbound Call Center Using Constraint Programming
Cyril Canon, Jean-Charles
Methods to Learn Abstract Scheduling Models
Tom Carchrae, J. Christopher Beck, Eugene C. Freuder
Automated Search for Heuristic Functions
Pavel Cejnar, Roman Bartdk
Constraint-Based Inference: A Bridge Between Constraint Processing
and Probability Inference
Le
Scheduling Social Tournaments
Iván Dotú, Alvaro
Domain Reduction for the Circuit Constraint
Laufe Gene
Using Constraint Programming for Solving Distance CSP with
Uncertainty
Carlos Grandon,
Improved Algorithm for Finding (a,b)-Super Solutions
Emmanuel Hebrard, Toby Walsh
Local Consistency in Weighted CSPs and Inference in Max-SAT
Federico Hems, Javier Larrosa
Modeling Constraint Programs with Software Technology Standards
Matthias Hoche, Stefan
Solution Equivalent Subquadrangle Reformulations of Constraint
Satisfaction Problems
Chris Houghton, David Cohen
Mechanism Design for Preference Aggregation over Coalitions
Eric Hsu, Sheila McEraith
LP as a Global Search Heuristic Across Different Constrainedness
Regions
Lucian Leahu,
Consistency for Partially Defined Constraints
Andrei' Legtchenko,
XVIII Table of Contents
Subnet Generation Problem: A New Network Routing Problem
Cheuk Fun Bede Leung, Barry Richards,
Partial Redundant Modeling
Tiziana Ligorio, Susan L. Epstein
AND/OR Branch-and-Bound for Solving Mixed Integer Linear
Programming Problems
Radu Marinescu,
Weak Symmetries in Problem Formulations
Roland Martin,
Towards the Systematic Generation of Channelling Constraints
B. Martinez-Hernandez, A.M.
AND/OR Search Spaces and the Semantic Width of Constraint
Networks
Robert Mateescu,
Statistical Modelling of CSP Solving Algorithms Performance
Carles Mateu, Ramon
Probabilistic Arc Consistency
Deepak Mehta,
GOOSE
Search Environment
Henry
Randomization for Multi-agent Constraint Optimization
Quang Huy Nguyen,
Uncertainty in Soft Constraint Problems
Maria Silvia
Speeding Up Constrained Path Solvers with a Reachability Propagator
Luis Quesada, Peter Van Roy, Yves
Prom Linear Relaxations to Global Constraint Propagation
Claude-Guy Quimper, Alejandro
Encoding HTN Planning as a Dynamic CSP
Pavel Surynek, Roman Bartdk
Table of Contents XIX
Specialised Constraints for Stable Matching Problems
Chris Unsworth, Patrick Prosser
Bounds-Consistent Local Search
Stefania Verachi, Steven Prestwich
Robust Constraint Solving Using Multiple Heuristics
Alfio Vidotto, Kenneth N. Brown, J. Christopher Beck
Scheduling with Uncertain Start Dates
Christine Wei Wu, Kenneth N. Brown, J. Christopher Beck
The Role of Redundant Clauses in Solving Satisfiability Problems
Honglei Zeng, Sheua McHraith
Applying Decomposition Methods to Crossword Puzzle Problems
Yaling Zheng,
Asymmetric Distributed Constraints Satisfaction Problems
Roie Zivan, Amnon Meisels
Full Arc Consistency in WCSP and in Constraint Hierarchies with
Finite Domains
Josef Zlomek, Roman
System Demonstrations
Co Java: A Unified Language for Simulation and Optimization
Alexander Brodsky, Hadon Nash
Programming with Toy {TV)
Antonio J.
Fernando
Computing jSwper-Schedules
Emmanuel Hebrard, Paul Tyler, Toby Walsh
Proterv-II: An Integrated Production Planning and Scheduling System
András Kovács,
The Comet Programming Language and System
Laurent Michel, Pascal Van Hentenryck
Random Stimuli Generation for Functional Hardware Verification as a
CP Application
Yehuda Naveh, Roy Emek
XX Table of Contents
A BDD-Based Interactive Configurator for Modular SyBtems
Erik R. van
Author Index |
| adam_txt |
Table of Contents
Invited Papers
Search and Inference in
Héctor
OWL: A Description Logic Based Ontology Language
Ian Horrocks
Preference Reasoning
Francesco, Rossi
The G12 Project: Mapping Solver Independent Models to Efficient
Solutions
Peter J. Stuckey, Maria Garcia
Kim Marriott, John Slaney, Zoltan Somogyi, Mark Wallace,
Toby Walsh
Best Papers
Symmetry Definitions for Constraint Satisfaction Problems
David Cohen, Peter Jeavons, Christopher Jefferson, Karen E.
Barbara M. Smith
Dynamic Ordering for Asynchronous Backtracking on DisCSPs
Roie Zivan, Amnon Meisels
Pull Papers
Incremental Algorithms for Local Search from Existential Second-Order
Logic
Magnus
Inter-distance Constraint: An Extension of the All-Different Constraint
for Scheduling Equal Length Jobs
Konstantin
Mind the Gaps: A New Splitting Strategy for Consistency Techniques
Heikel Batnini,
XII Table of Contents
Graph Invariants as Necessary Conditions for Global Constraints
Nicolas BeUMceanu, Mats Carlsson,
Charlotte Truchet
Allocation and Scheduling for MPSoCs via Decomposition and
No-Good Generation
Luca
Sub-optimality Approximations
Russell Bent, hit KatHel, Pascal Van Hentenryek
A Linear-Logic Semantics for Constraint Handling Rules
HariolfBetz, Thorn Friihvdrth
Distributed Stable Matching Problems
Ismel Brito, Pedro Meseguer
Beyond Hypertree Width: Decomposition Methods Without
Decompositions
Hubie Chen, Victor Daknau
Ad-hoc Global Constraints for Life
Kenü
Tractable Clones of Polynomials over Semigroups
Victor
CP(Graph): Introducing a Graph Computation Domain in Constraint
Programming
Grégoire
Interval Analysis in Scheduling
Jérôme Fortin,
Assumption-Based Pruning in Conditional CSP
Felix
Conditional Symmetry Breaking
Ian P. Gent, Tom Kelsey, Steve A. Linton, Iain McDonald,
Ian Miguel, Barbara M. Smith
Symmetry and Consistency
Ian P. Gent, Tom Kelsey, Steve Linton,
Solving the MOLR and Social Golfers Problems
Warwick Harvey,
Table of Contents XIII
Advances in Polytime
Laurent
Planning and Scheduling to Minimize Tardiness
J.N. Hooker
Search Heuristics and Heavy-Tailed Behaviour
Tudor Hulubei, Barry O'Sullivan
2
Joey Hwang, David G. Mitchell
Maintaining Longest Paths in Cyclic Graphs
Irit Katriel, Pascal Van Hentenryck
Applying Constraint Programming to Rigid Body Protein Docking
Ludwig
Maximum Constraint Satisfaction on Diamonds
Andrei Erokhin,
Exploiting Unit Propagation to Compute Lower Bounds in Branch and
Bound Max-SAT Solvers
Chu
Generalized Conflict Learning for Hybrid Discrete/Linear Optimization
Hui Li, Brian Williams
Parallel Local Search in Comet
Laurent Michel, Pascal Van Hentenryck
Generating Corrective Explanations for Interactive Constraint
Satisfaction
Barry O'Callaghan, Barry O'Sullivan, Eugene C. Freuder
SPIllI/AD: A Balancing Constraint Based on Statistics
Gilles Pesant,
Automatic
Jean-François Puget
Breaking All Value Symmetries in Surjection Problems
Jean-François
XIV Table of Contents
AC-*: A Configurable, Generic and Adaptive Arc Consistency Algorithm
Jean-Charles Régin
Maintaining Arc Consistency Algorithms During the Search Without
Additional Space Cost
Jean-Charles Régin
Weak Composition for Qualitative Spatial and Temporal Reasoning
Jochen Renz,
Boosting Distributed Constraint Satisfaction
Georg Ringwelski,
Depth-First Mini-Bucket Elimination
Emma
Using SAT in QBF
Horst SamulovÄtz, Fahiem
Tree Decomposition with Function Filtering
Martí Sánchez,
On Solving Soft Temporal Constraints Using SAT Techniques
Hossein M. Sheini, Bart Peintner, Karem A. Sakallah,
Martha E. Pollack
Eplex: Harnessing Mathematical Programming Solvers for Constraint
Logic Programming
Kish Shen, Joachim
Caching Search States in Permutation Problems
Barbara M. Smith
Repair-Based Methods for Quantified CSPs
Kostas Stergiou
Handling Implication and Universal Quantification Constraints in FLUX
Michael Thielscher
Solving Simple Planning Problems withMore Inference and No Search
Vincent
Solving Large-Scale Nonlinear Programming Problems by Constraint
Partitioning
Benjamin W. Wah, Yixin Chen
Table of Contents XV
Factor Analytic Studies of CSP Heuristics
Richard J. Wallace
Short Papers
Lookahead Saturation with Restriction for SAT
Anbulagan, John Slaney
Evolving Variable-Ordering Heuristics for Constrained Optimisation
Stuart Bain, John Thornton, Abdul Sattar
Multi-point Constructive Search
J. Christopher Beck
Bounds of Graph Characteristics
Nicolas
Acquiring Parameters of Implied Global Constraints
Christian Bessiere,
Integrating Benders Decomposition Within Constraint Programming
Hadrien
Using Boolean Constraint Propagation for Sub-clauses Deduction
S. Darras, G. Dequen, L.
L.
Extending Systematic Local Search for Job Shop Scheduling Problems
Bistra Dilhina, Lei Duan, William S. Havens
Interactive Reconfiguration in Power Supply Restoration
Tarik Hadzic,
Neighbourhood Clause Weight Redistribution in Local Search for SAT
Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar,
Due Nghia Pharn
Computing and Exploiting Tree-Decompositions for Solving Constraint
Networks
Philippe
Encoding Requests to Web Service Compositions as Constraints
Alexander Lazovik, Marco
XVI Table of Contents
Test Instance Generation for MAX 2SAT
Mutuo
Consistency for Quantified Constraint Satisfaction Problems
Peter Nightingale
Alternate Modeling in Sport Scheduling
Laurent Perron
Approximations in Distributed Optimization
Adrian
Extremal CSPs
Nicolas Prcovic
Beyond Finite Domains: The All Different and Global Cardinality
Constraints
Claude-Guy Quimper, Toby Walsh
Views and Iterators for Generic Constraint Implementations
Christian
Approximated Consistency for the Automatic Recording Problem
Meinolf Sellmann
Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
Carsten
Approximate Constrained Subgraph Matching
Stéphane
Doctoral
Distributed Constraints for Large-Scale Scheduling Problems
Montserrat Abril,
Solving Over-Constrained Problems with SAT
Josep Argelich, Felip
A Constraint Based Agent for TAC-SCM
David A. Burke, Kenneth N. Brown
Solving the Car-Sequencing Problem as a Non-binary CSP
Mihaela Butaru, Zineb Habbas
Table of
Dimensioning an Inbound Call Center Using Constraint Programming
Cyril Canon, Jean-Charles
Methods to Learn Abstract Scheduling Models
Tom Carchrae, J. Christopher Beck, Eugene C. Freuder
Automated Search for Heuristic Functions
Pavel Cejnar, Roman Bartdk
Constraint-Based Inference: A Bridge Between Constraint Processing
and Probability Inference
Le
Scheduling Social Tournaments
Iván Dotú, Alvaro
Domain Reduction for the Circuit Constraint
Laufe Gene
Using Constraint Programming for Solving Distance CSP with
Uncertainty
Carlos Grandon,
Improved Algorithm for Finding (a,b)-Super Solutions
Emmanuel Hebrard, Toby Walsh
Local Consistency in Weighted CSPs and Inference in Max-SAT
Federico Hems, Javier Larrosa
Modeling Constraint Programs with Software Technology Standards
Matthias Hoche, Stefan
Solution Equivalent Subquadrangle Reformulations of Constraint
Satisfaction Problems
Chris Houghton, David Cohen
Mechanism Design for Preference Aggregation over Coalitions
Eric Hsu, Sheila McEraith
LP as a Global Search Heuristic Across Different Constrainedness
Regions
Lucian Leahu,
Consistency for Partially Defined Constraints
Andrei' Legtchenko,
XVIII Table of Contents
Subnet Generation Problem: A New Network Routing Problem
Cheuk Fun Bede Leung, Barry Richards,
Partial Redundant Modeling
Tiziana Ligorio, Susan L. Epstein
AND/OR Branch-and-Bound for Solving Mixed Integer Linear
Programming Problems
Radu Marinescu,
Weak Symmetries in Problem Formulations
Roland Martin,
Towards the Systematic Generation of Channelling Constraints
B. Martinez-Hernandez, A.M.
AND/OR Search Spaces and the Semantic Width of Constraint
Networks
Robert Mateescu,
Statistical Modelling of CSP Solving Algorithms Performance
Carles Mateu, Ramon
Probabilistic Arc Consistency
Deepak Mehta,
GOOSE
Search Environment
Henry
Randomization for Multi-agent Constraint Optimization
Quang Huy Nguyen,
Uncertainty in Soft Constraint Problems
Maria Silvia
Speeding Up Constrained Path Solvers with a Reachability Propagator
Luis Quesada, Peter Van Roy, Yves
Prom Linear Relaxations to Global Constraint Propagation
Claude-Guy Quimper, Alejandro
Encoding HTN Planning as a Dynamic CSP
Pavel Surynek, Roman Bartdk
Table of Contents XIX
Specialised Constraints for Stable Matching Problems
Chris Unsworth, Patrick Prosser
Bounds-Consistent Local Search
Stefania Verachi, Steven Prestwich
Robust Constraint Solving Using Multiple Heuristics
Alfio Vidotto, Kenneth N. Brown, J. Christopher Beck
Scheduling with Uncertain Start Dates
Christine Wei Wu, Kenneth N. Brown, J. Christopher Beck
The Role of Redundant Clauses in Solving Satisfiability Problems
Honglei Zeng, Sheua McHraith
Applying Decomposition Methods to Crossword Puzzle Problems
Yaling Zheng,
Asymmetric Distributed Constraints Satisfaction Problems
Roie Zivan, Amnon Meisels
Full Arc Consistency in WCSP and in Constraint Hierarchies with
Finite Domains
Josef Zlomek, Roman
System Demonstrations
Co Java: A Unified Language for Simulation and Optimization
Alexander Brodsky, Hadon Nash
Programming with Toy {TV)
Antonio J.
Fernando
Computing jSwper-Schedules
Emmanuel Hebrard, Paul Tyler, Toby Walsh
Proterv-II: An Integrated Production Planning and Scheduling System
András Kovács,
The Comet Programming Language and System
Laurent Michel, Pascal Van Hentenryck
Random Stimuli Generation for Functional Hardware Verification as a
CP Application
Yehuda Naveh, Roy Emek
XX Table of Contents
A BDD-Based Interactive Configurator for Modular SyBtems
Erik R. van
Author Index |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author_GND | (DE-588)130397822 |
| author_corporate | CP Sitges |
| author_corporate_role | aut |
| author_facet | CP Sitges |
| author_sort | CP Sitges |
| building | Verbundindex |
| bvnumber | BV020857429 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)633670080 (DE-599)BVBBV020857429 |
| discipline | Informatik |
| discipline_str_mv | 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">BV020857429</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20051117</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">051107s2005 gw ad|| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">05,A45,0048</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">976469669</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540292388</subfield><subfield code="c">kart. : EUR 98.44 (freier Pr.), sfr 156.00 (freier Pr.)</subfield><subfield code="9">978-3-540-29238-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540292381</subfield><subfield code="c">kart. : EUR 98.44 (freier Pr.), sfr 156.00 (freier Pr.)</subfield><subfield code="9">3-540-29238-1</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540292388</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11564751</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)633670080</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV020857429</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">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</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">11</subfield><subfield code="d">2005</subfield><subfield code="c">Sitges</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)10116459-2</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Principles and practice of constraint programming - CP 2005</subfield><subfield code="b">11th international conference, CP 2005, Sitges, Spain, October 1 - 5 ; proceedings</subfield><subfield code="c">Peter van Beek (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 887 S.</subfield><subfield code="b">Ill., 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">3709</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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">2005</subfield><subfield code="z">Sitges</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">Beek, Peter van</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)130397822</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">3709</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">3709</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UBPassau</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=014179041&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-014179041</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2005 Sitges gnd-content |
| genre_facet | Konferenzschrift 2005 Sitges |
| id | DE-604.BV020857429 |
| illustrated | Illustrated |
| index_date | 2024-07-02T13:21:48Z |
| indexdate | 2025-01-10T15:08:08Z |
| institution | BVB |
| institution_GND | (DE-588)10116459-2 |
| isbn | 9783540292388 3540292381 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014179041 |
| oclc_num | 633670080 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-706 DE-11 DE-83 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-706 DE-11 DE-83 |
| physical | XX, 887 S. Ill., graph. Darst. |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | CP 11 2005 Sitges Verfasser (DE-588)10116459-2 aut Principles and practice of constraint programming - CP 2005 11th international conference, CP 2005, Sitges, Spain, October 1 - 5 ; proceedings Peter van Beek (ed.) Berlin [u.a.] Springer 2005 XX, 887 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 3709 Literaturangaben Constraint-Programmierung (DE-588)4567206-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2005 Sitges gnd-content Constraint-Programmierung (DE-588)4567206-4 s DE-604 Beek, Peter van Sonstige (DE-588)130397822 oth Lecture notes in computer science 3709 (DE-604)BV000000607 3709 Digitalisierung UBPassau application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014179041&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Principles and practice of constraint programming - CP 2005 11th international conference, CP 2005, Sitges, Spain, October 1 - 5 ; 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 2005 11th international conference, CP 2005, Sitges, Spain, October 1 - 5 ; proceedings |
| title_auth | Principles and practice of constraint programming - CP 2005 11th international conference, CP 2005, Sitges, Spain, October 1 - 5 ; proceedings |
| title_exact_search | Principles and practice of constraint programming - CP 2005 11th international conference, CP 2005, Sitges, Spain, October 1 - 5 ; proceedings |
| title_exact_search_txtP | Principles and practice of constraint programming - CP 2005 11th international conference, CP 2005, Sitges, Spain, October 1 - 5 ; proceedings |
| title_full | Principles and practice of constraint programming - CP 2005 11th international conference, CP 2005, Sitges, Spain, October 1 - 5 ; proceedings Peter van Beek (ed.) |
| title_fullStr | Principles and practice of constraint programming - CP 2005 11th international conference, CP 2005, Sitges, Spain, October 1 - 5 ; proceedings Peter van Beek (ed.) |
| title_full_unstemmed | Principles and practice of constraint programming - CP 2005 11th international conference, CP 2005, Sitges, Spain, October 1 - 5 ; proceedings Peter van Beek (ed.) |
| title_short | Principles and practice of constraint programming - CP 2005 |
| title_sort | principles and practice of constraint programming cp 2005 11th international conference cp 2005 sitges spain october 1 5 proceedings |
| title_sub | 11th international conference, CP 2005, Sitges, Spain, October 1 - 5 ; proceedings |
| topic | Constraint-Programmierung (DE-588)4567206-4 gnd |
| topic_facet | Constraint-Programmierung Konferenzschrift 2005 Sitges |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014179041&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT cpsitges principlesandpracticeofconstraintprogrammingcp200511thinternationalconferencecp2005sitgesspainoctober15proceedings AT beekpetervan principlesandpracticeofconstraintprogrammingcp200511thinternationalconferencecp2005sitgesspainoctober15proceedings |