Blick ins Buch

Principles and Practice of Constraint Programming - CP 2009

15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings

Ian P. Gent (Herausgeber)

Buch | Softcover

XXI, 844 Seiten

2009
Springer Berlin (Verlag)
9783642042430 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)
Blick ins Buch (midvox)

Artikel merken

This volume contains the papers presented at CP 2009: The 15th International Conference on Principles and Practice of Constraint Programming. It was held from September 20-24, 2009 at the Rectory of the New University of Lisbon, Portugal. Everyone involved with the conference thanks our sponsors for their support. There were 128 submissions to the research track, of which 53 were accepted for a rate of 41.4%. Each submission was reviewed by three reviewers, with a small number of additional reviews obtained in exceptional cases. Each review waseitherbyaProgrammeCommitteemember,orbyacolleagueinvitedtohelp by a committee member thanks to their particular expertise. Papers submitted as long papers were accepted at full length or not at all. It is important to note that papers submitted as short papers were held to the same high standards of qualityas long papers. There is thus no distinction in these proceedings between long and short papers, except of course the number of pages they occupy. As it happens, the acceptancerates of short and long papers wereverysimilar indeed. Therewere13submissionstotheapplicationtrack,ofwhich8wereaccepted, fora rateof61.5%.Papersunderwentthe samereviewprocessasregularpapers, and there was not a separate committee for reviewing application track papers. However, papers in the application track were not required to be original or novel research, but to be original and novel as an application of constraints.

Invited Talks.- Constraint-Based Schedulers, Do They Really Work?.- Challenges for Constraint Reasoning and Optimization in Computational Sustainability.- Observations on Symmetry Breaking.- Application Track Papers.- Generating Optimal Stowage Plans for Container Vessel Bays.- Real-Time Tabu Search for Video Tracking Association.- Pin Assignment Using Stochastic Local Search Constraint Programming.- Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics.- Scheduling the CB1000 Nanoproteomic Analysis System with Python, Tailor, and Minion.- Solving Nurse Rostering Problems Using Soft Global Constraints.- Online Selection of Quorum Systems for RAMBO Reconfiguration.- A Hybrid Constraint Model for the Routing and Wavelength Assignment Problem.- Research Track Papers.- Memoisation for Constraint-Based Local Search.- On the Structure of Industrial SAT Instances.- A Gender-Based Genetic Algorithm for the Automatic Configuration of Algorithms.- Filtering Numerical CSPs Using Well-Constrained Subsystems.- Minimising Decision Tree Size as Combinatorial Optimisation.- Hull Consistency under Monotonicity.- A Constraint on the Number of Distinct Vectors with Application to Localization.- Approximating Weighted Max-SAT Problems by Compensating for Relaxations.- Confidence-Based Work Stealing in Parallel Constraint Programming.- Minimizing the Maximum Number of Open Stacks by Customer Search.- Using Relaxations in Maximum Density Still Life.- Constraint-Based Graph Matching.- Constraint Representations and Structural Tractability.- Asynchronous Inter-Level Forward-Checking for DisCSPs.- From Model-Checking to Temporal Logic Constraint Solving.- Exploiting Problem Structure for Solution Counting.- Solving a Location-Allocation Problem with Logic-Based Benders' Decomposition.- Lazy Clause Generation Reengineered.- The Proper Treatment of Undefinedness in Constraint Languages.- Search Spaces for Min-Perturbation Repair.- Snake Lex: An Alternative to Double Lex.- Closing the Open Shop: Contradicting Conventional Wisdom.- Reasoning about Optimal Collections of Solutions.- Constraints of Difference and Equality: A Complete Taxonomic Characterisation.- Synthesizing Filtering Algorithms for Global Chance-Constraints.- An Interpolation Method for CLP Traversal.- Same-Relation Constraints.- Dialectic Search.- Restricted Global Grammar Constraints.- Conflict Resolution.- Propagator Groups.- Efficient Generic Search Heuristics within the EMBP Framework.- Failed Value Consistencies for Constraint Satisfaction.- A Precedence Constraint Posting Approach for the RCPSP with Time Lags and Variable Durations.- SOGgy Constraints: Soft Open Global Constraints.- Exploiting Problem Decomposition in Multi-objective Constraint Optimization.- Search Space Extraction.- Coalition Structure Generation Utilizing Compact Characteristic Function Representations.- Compiling All Possible Conflicts of a CSP.- On the Power of Clause-Learning SAT Solvers with Restarts.- Slice Encoding for Constraint-Based Planning.- Evolving Parameterised Policies for Stochastic Constraint Programming.- Maintaining State in Propagation Solvers.- Cost-Driven Interactive CSP with Constraint Relaxation.- Weakly Monotonic Propagators.- Constraint-Based Optimal Testing Using DNNF Graphs.- Why Cumulative Decomposition Is Not as Bad as It Sounds.- On Decomposing Knapsack Constraints for Length-Lex Bounds Consistency.- Realtime Online Solving of Quantified CSPs.- Constraint-Based Local Search for the Automatic Generation of Architectural Tests.- Edge FindingFiltering Algorithm for Discrete Cumulative Resources in .- Evaluation of Length-Lex Set Variables.- The Complexity of Valued Constraint Models.

Erscheint lt. Verlag	7.9.2009
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Programming and Software Engineering
Zusatzinfo	XXI, 844 p.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Themenwelt	Mathematik / Informatik ► Mathematik ► Analysis
Schlagworte	algorithms • Complexity • Constraint • Constraint Logic Programming • constraint networks • Constraint Satisfaction • CSP heuristics • CSP solving • distributed constraints • Genetic Algorithm • Hardcover, Softcover / Informatik, EDV/Informatik • programming • SAT • satisfiability • temporal logic
ISBN-13	9783642042430 / 9783642042430
Zustand	Neuware