Proceedings
LNCS 6876 is now available online. You can find information about it on the
Springer website
or you can access the
online version.
Lecture Notes in Computer Science 6876
Commenced Publication in 1973
Founding and Former Series Editors:
Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen
Jimmy Lee (Ed.)
Principles and Practice
of Constraint Programming – CP 2011
17th International Conference, CP 2011
Perugia, Italy, September 12-16, 2011
Proceedings
Editorial Board
- David Hutchison [Lancaster University, UK]
- Takeo Kanade [Carnegie Mellon University, Pittsburgh, PA, USA]
- Josef Kittler [University of Surrey, Guildford, UK ]
- Jon M. Kleinberg [Cornell University, Ithaca, NY, USA]
- Alfred Kobsa
[University of California, Irvine, CA, USA]
- Friedemann Mattern [ETH Zurich, Switzerland]
- John C. Mitchell
[Stanford University, CA, USA]
- Moni Naor
[Weizmann Institute of Science, Rehovot, Israel]
- Oscar Nierstrasz
[University of Bern, Switzerland]
- C. Pandu Rangan
[Indian Institute of Technology, Madras, India]
- Bernhard Steffen
[TU Dortmund University, Germany]
- Madhu Sudan
[Microsoft Research, Cambridge, MA, USA]
- Demetri Terzopoulos
[University of California, Los Angeles, CA, USA]
- Doug Tygar
[University of California, Berkeley, CA, USA]
- Gerhard Weikum
[Max Planck Institute for Informatics, Saarbruecken, Germany]
Volume Editor
Jimmy Lee
The Chinese University of Hong Kong
Department of Computer Science and Engineering
Shatin, N.T., Hong Kong, China
E-mail: jlee[at]cse.cuhk.edu.hk
ISSN 0302-9743 e-ISSN 1611-3349
ISBN 978-3-642-23785-0 e-ISBN 978-3-642-23786-7
DOI 10.1007/978-3-642-23786-7
Springer Heidelberg Dordrecht London NewYork
Library of Congress Control Number: 2011935460
CR Subject Classification (1998): F.4.1, F.2, F.3, G.2, F.1, E.1
LNCS Sublibrary: SL 2 – Programming and Software Engineering
Accepted Papers
- Barnaby Martin.
QCSP on partially reflexive forests
- Justin Yip and Pascal Van Hentenryck.
Checking and Filtering Global Set Constraints
- Siddhartha Jain and Pascal Van Hentenryck.
Large Neighborhood Search for the Dial-a-ride Problem
- Amit Metodi, Michael Codish, Vitaly Lagoon and Peter Stuckey.
Boolean Equi-propagation for Optimized SAT Encoding
- Andreas Schutt, Peter J. Stuckey and Andrew R. Verden.
Optimal Carpet Cutting
- Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz and Peter Stuckey.
Search Combinators
-
Peter Jonsson, Fredrik Kuivinen and Johan Thapper.
Min CSP on Four Elements: Moving Beyond Submodularity
- Georg Gottlob.
On Minimal Constraint Networks
- Deepak Mehta, Barry O'Sullivan and Luis Quesada.
Value Ordering for Finding All Solutions: Interactions with Adaptive Variable Ordering
-
Tenda Okimoto, Yongjoon Joe, Atsushi Iwasaki, Makoto Yokoo and Boi Faltings.
Pseudo-tree-based Incomplete Algorithm for Distributed Constraint Optimization with Quality Bounds
-
Christopher Mears, Todd Niven, Marcel Jackson and Mark Wallace.
Proving Symmetries by Model Transformation
-
Weiming Liu, Shengsheng Wang and Sanjiang Li.
Qualitative Constraint Solving Involving Landmarks
-
Thibaut Feydy, Zoltan Somogyi and Peter Stuckey.
Half Reification and Flattening
- Vianney Le Clément De Saint-Marcq, Yves Deville and Christine Solnon.
An Efficient Light Solver for Querying the Semantic Web
- Nic Wilson and Walid Trabelsi.
Pruning Rules for Constrained Optimisation for Conditional Preferences
- Antti Hyvärinen, Tommi Junttila and Ilkka Niemelä.
Grid-Based SAT Solving with Iterative Partitioning and Clause Learning
-
Cédric Pralet and Gérard Verfaillie.
Beyond QCSP for solving control problems
-
Serge Gaspers and Stefan Szeider.
The Parameterized Complexity of Local Consistency
- Jean-François Condotta and Christophe Lecoutre.
Decision-based Consistencies
- Gérard Verfaillie and Cédric Pralet.
Constraint Programming for Controller Synthesis
- Jinsong Guo, Zhanshan Li, Liang Zhang and Xuena Geng.
maxRPC algorithms based on bitwise operations
-
Fabien Hermenier, Sophie Demassey and Xavier Lorca.
Bin Repacking Scheduling in Virtualized Datacenters
- Martin C. Cooper and Stanislav Zivny.
Tractable triangles
- Martin C. Cooper and Stanislav Zivny.
Hierarchically nested convex VCSP
- Paidi Creed and Stanislav Zivny.
On Minimal Weighted Clones
- Nicolas Beldiceanu and Helmut Simonis.
A Constraint Seeker: Finding and Ranking Global Constraints from Examples
- Serdar Kadioglu, Eoin O'Mahony, Philippe Refalo and Meinolf Sellmann.
Optimism Pays Off: Incorporating Variance in Impact-Based Search
- Serdar Kadioglu, Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz and Meinolf Sellmann.
Algorithm Selection and Scheduling
-
Tivadar Papai, Parag Singla and Henry Kautz.
Constraint Propagation for Efficient Inference in Markov Logic
- Allen Van Gelder.
Variable Independence and Resolution Paths for Quantified Boolean Formulas
-
M.A.Hakim Newton, Duc-Nghia Pham, Abdul Sattar and Michael Maher.
Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation
-
Jean Marie Lagniez, Bertrand Mazure and Eric Gregoire.
A CSP algorithm focusing on FAC variables
- Thierry Petit, Jean-Charles Régin and Nicolas Beldiceanu.
A $\Theta$(n) Bound-Consistency Algorithm for the Increasing Sum Constraint
- Jean-Guillaume Fages and Xavier Lorca.
Revisiting the tree Constraint
- Alexis De Clercq, Thierry Petit, Nicolas Beldiceanu and Narendra Jussien.
Filtering Algorithms for Discrete Cumulative Problems with Over-loads of Resource
- Marie Pelleau, Charlotte Truchet and Frederic Benhamou.
Octagonal Domains for Continuous constraints
- Alexandre Goldsztejn, Christophe Jermann, Vicente Ruiz De Angulo and Carme Torras.
Symmetry Breaking in Numeric Constraint Problems
- Roger Kameugne, Laure Pauline Fotso, Joseph Scott and Youcheu Ngo-Kateu.
A Quadratic Edge-Finding Filtering Algorithm for Cumulative Resource Constraints
-
Toshihiro Matsui, Marius Silaghi, Katsutoshi Hirayama, Makoto Yokoo, Boi Faltings and Hiroshi Matsuo.
Reducing the Search Space of Resource Constrained DCOPs
- Diarmuid Grimes and Emmanuel Hebrard.
Models and Strategies for Variants of the Job Shop Scheduling Problem
-
Samba Ndojh Ndiaye and Christine Solnon.
CP Models for Maximum Common Subgraph Problems
- Alessio Bonfietti, Michele Lombardi, Michela Milano and Luca Benini.
A constraint based approach to cyclic RCPSP
- Runming Lu, Sheng Liu and Jian Zhang.
Searching for Doubly Self-Orthogonal Latin Squares
-
Venkatesh Ramamoorthy, Marius Silaghi, Toshihiro Matsui, Katsutoshi Hirayama and Makoto Yokoo.
The Design of Cryptographic Substitution Boxes Using CSPs
-
Matti Järvisalo.
On the Relative Efficiency of DPLL and OBDDs with Axiom and Join
- David Cohen, Martin Cooper, Martin Green and Daniel Marx.
On guaranteeing polynomially-bounded search tree size
-
Jessica Davies and Fahiem Bacchus.
Solving MAXSAT by Solving a Sequence of Simpler SAT Instances
- Michel Lefebvre, Jean-François Puget and Petr Vilim.
Route Finder : Efficiently Finding K Shortest PathsUsing Constraint Programming
-
Gianluigi Greco and Francesco Scarcello.
Structural Tractability of Constraint Optimization
-
Emma Rollon and Javier Larrosa.
Mini-Buckets with Dynamic Variable Elimination Ordering
- Oswaldo Olivo and Allen Emerson.
A More Efficient BDD-Based QBF Solver
- Karen Petrie and Christopher Jefferson.
Automatic Generation of Constraints for Partial Symmetry Breaking
- Samir A. Mohamed Elsayed and Laurent Michel.
Synthesis of Search Algorithms from High-level CP Models
- Ronan Le Bras, Theodoros Damoulas, Ashish Sabharwal and Carla Gomes.
Constraint Reasoning and Kernel Clustering for Pattern Decomposition With Scaling
-
Mikolas Janota and Joao Marques-Silva.
On Deciding MUS Membership with QBF
-
Andrea Bartolini, Michele Lombardi, Michela Milano and Luca Benini.
Neuron Constraints to Model Complex Real World Problem
-
Martin Stølevik, Tomas Eric Nordlander, Atle Riise and Helle Frøyseth.
A hybrid approach for solving real-world nurse rostering problems
- Barnaby Martin and Daniel Paulusma.
The Computational Complexity of Disconnected Cut and 2K2-Partition