| Description |
1 online resource (xviii, 898 pages) : illustrations |
| Series |
Lecture Notes in Computer Science, 0302-9743 ; 8124 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 8124. 0302-9743
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
| Contents |
Invited Talks. Optimization for Policy Making: The Cornerstone for an Integrated Approach / Michela Milano -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning / Torsten Schaub -- Those Who Cannot Remember the Past Are Condemned to Repeat It / Peter J. Stuckey -- Invited Public Lecture. Decide Different! / Pascal Van Hentenryck -- Invited System Presentation. The Objective-CP Optimization System / Pascal Van Hentenryck, Laurent Michel -- Parallel Discrepancy-Based Search / Thierry Moisan, Jonathan Gaudreault, Claude-Guy Quimper -- Best Application Track Paper. Bin Packing with Linear Usage Costs -- An Application to Energy Management in Data Centres / Hadrien Cambazard [and others] -- Best Student Paper. Filtering AtMostNValue with Difference Constraints: Application to the Shift Minimisation Personnel Task Scheduling Problem / Jean-Guillaume Fages, Tanguy Lapègue |
|
Technical Track Papers. A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints / Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell -- To Encode or to Propagate? The Best Choice for Each Constraint in SAT / Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell ... -- Automated Symmetry Breaking and Model Selection in Conjure / Ozgur Akgun [and others] -- Improving WPM2 for (Weighted) Partial MaxSAT / Carlos Ansótegui [and others] -- MinSAT versus MaxSAT for Optimization Problems / Josep Argelich [and others] -- Adaptive Parameterized Consistency / Amine Balafrej [and others] -- Global Inverse Consistency for Interactive Constraint Satisfaction / Christian Bessiere, Hélène Fargier, Christophe Lecoutre -- Counting Spanning Trees to Guide Search in Constrained Spanning Tree Problems / Simon Brockbank, Gilles Pesant, Louis-Martin Rousseau |
|
On the Reduction of the CSP Dichotomy Conjecture to Digraphs / Jakub Bulín [and others] -- A Scalable Approximate Model Counter / Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi -- Dominance Driven Search / Geoffrey Chu, Peter J. Stuckey -- Tractable Combinations of Global Constraints / David A. Cohen [and others] -- Postponing Optimization to Speed Up MAXSAT Solving / Jessica Davies, Fahiem Bacchus -- Dead-End Elimination for Weighted CSP / Simon de Givry, Steven D. Prestwich, Barry O'Sullivan -- Solving Weighted CSPs by Successive Relaxations / Erin Delisle, Fahiem Bacchus -- Constraint-Based Program Reasoning with Heaps and Separation / Gregory J. Duck, Joxan Jaffar, Nicolas C.H. Koh -- Model Combinators for Hybrid Optimization / Daniel Fontaine, Laurent Michel, Pascal Van Hentenryck -- Modelling Destructive Assignments / Kathryn Francis, Jorge Navas, Peter J. Stuckey -- An Improved Search Algorithm for Min-Perturbation / Alex Fukunaga |
|
Explaining Propagators for Edge-Valued Decision Diagrams / Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck -- A Simple and Effective Decomposition for the Multidimensional Binpacking Constraint / Stefano Gualandi, Michele Lombardi -- Maintaining Soft Arc Consistencies in BnB-ADOPT + during Search / Patricia Gutierrez [and others] -- Solving String Constraints: The Case for Constraint Programming / Jun He [and others] -- Blowing Holes in Various Aspects of Computational Problems, with Applications to Constraint Satisfaction / Peter Jonsson, Victor Lagerkvist, Gustav Nordh -- Solving QBF with Free Variables / William Klieber [and others] -- Globalizing Constraint Models / Kevin Leo [and others] -- A New Propagator for Two-Layer Neural Networks in Empirical Model Learning / Michele Lombardi, Stefano Gualandi -- Bandit-Based Search for Constraint Programming / Manuel Loth [and others] |
|
Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability / Chuan Luo [and others] -- Multi-Objective Constraint Optimization with Tradeoffs / Radu Marinescu, Abdul Razak, Nic Wilson -- Multidimensional Bin Packing Revisited / Michael D. Moffitt -- A Parametric Propagator for Discretely Convex Pairs of Sum Constraints / Jean-Noël Monette [and others] -- Breaking Symmetry with Different Orderings / Nina Narodytska, Toby Walsh -- Time-Table Extended-Edge-Finding for the Cumulative Constraint / Pierre Ouellet, Claude-Guy Quimper -- Revisiting the Cardinality Reasoning for BinPacking Constraint / François Pelsser, Pierre Schaus, Jean-Charles Régin -- Value Interchangeability in Scenario Generation / Steven D. Prestwich, Marco Laumanns, Ban Kawas -- Embarrassingly Parallel Search / Jean-Charles Régin, Mohamed Rezgui, Arnaud Malapert -- Multi-Objective Large Neighborhood Search / Pierre Schaus, Renaud Hartert |
|
Scheduling Optional Tasks with Explanation / Andreas Schutt, Thibaut Feydy, Peter J. Stuckey -- Residential Demand Response under Uncertainty / Paul Scott [and others] -- Lifting Structural Tractability to CSP with Global Constraints / Evgenij Thorstensen -- Empirical Study of the Behavior of Conflict Analysis in CDCL Solvers / Djamal Habet, Donia Toumi -- Primal and Dual Encoding from Applications into Quantified Boolean Formulas / Allen Van Gelder -- Asynchronous Forward Bounding Revisited / Mohamed Wahbi, Redouane Ezzahir, Christian Bessiere -- Optimizing STR Algorithms with Tuple Compression / Wei Xia, Roland H.C. Yap -- Application Track Papers. Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker / Nicolas Beldiceanu, Georgiana Ifrim, Arnaud Lenoir, Helmut Simonis -- Solving the Agricultural Land Allocation Problem by Constraint-Based Local Search / Quoc Trung Bui, Quang Dung Pham, Yves Deville |
|
Constraint-Based Approaches for Balancing Bike Sharing Systems / Luca Di Gaspero, Andrea Rendl, Tommaso Urli -- Constraint Based Computation of Periodic Orbits of Chaotic Dynamical Systems / Alexandre Goldsztejn, Laurent Granvilliers, Christophe Jermann -- Laser Cutting Path Planning Using CP / Mikael Z. Lagerkvist, Martin Nordkvist, Magnus Rattfeldt -- Atom Mapping with Constraint Programming / Martin Mann [and others] -- Beyond Feasibility: CP Usage in Constrained-Random Functional Hardware Verification / Reuven Naveh, Amit Metodi -- Stochastic Local Search Based Channel Assignment in Wireless Mesh Networks / M.A. Hakim Newton [and others] -- Automatic Generation and Delivery of Multiple-Choice Math Quizzes / Ana Paula Tomás, José Paulo Leal -- Constrained Wine Blending / Philippe Vismara, Remi Coletta, Gilles Trombettoni -- The Berth Allocation and Quay Crane Assignment Problem Using a CP Approach / Stéphane Zampelli [and others] |
| Summary |
This book constitutes the refereed conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2013), held in Uppsala, Sweden, in September 2013. The 61 revised papers presented together with 3 invited talks were carefully selected from 138 submissions. The scope of the conference is on all aspects of computing with constraints, including: theory, algorithms, environments, languages, models and systems, applications such as decision making, resource allocation, and agreement technologies |
| Notes |
International conference proceedings and author index |
| Bibliography |
Includes bibliographical references |
| Notes |
Online resource; title from PDF title page (SpringerLink, viewed September 9, 2013) |
| Subject |
Constraint programming (Computer science) -- Congresses
|
|
Constraint programming (Computer science)
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Schulte, Christian (Computer scientist), editor.
|
| ISBN |
9783642406270 |
|
3642406270 |
|
3642406262 |
|
9783642406263 |
|
