13. CP 2007:
Providence,
RI,
USA
Christian Bessiere (Ed.):
Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings.
Lecture Notes in Computer Science 4741 Springer 2007, ISBN 978-3-540-74969-1 BibTeX
Invited Lectures
Application Papers
- Grégory Beaumet, Gérard Verfaillie, Marie-Claire Charmeau:
Estimation of the Minimal Duration of an Attitude Change for an Autonomous Agile Earth-Observing Satellite.
3-17
Electronic Edition (link) BibTeX
- Raphaël Chenouard, Patrick Sébastian, Laurent Granvilliers:
Solving an Air Conditioning System Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques.
18-32
Electronic Edition (link) BibTeX
- Chiu Wo Choi, Jimmy Ho-Man Lee:
Solving the Salinity Control Problem in a Potable Water System.
33-48
Electronic Edition (link) BibTeX
- Hélène Collavizza, Michel Rueher:
Exploring Different Constraint-Based Modelings for Program Verification.
49-63
Electronic Edition (link) BibTeX
- Andrew J. Davenport, Jayant Kalagnanam, Chandra Reddy, Stuart Siegel, John Hou:
An Application of Constraint Programming to Generating Detailed Operations Schedules for Steel Manufacturing.
64-76
Electronic Edition (link) BibTeX
- Antoine Gargani, Philippe Refalo:
An Efficient Model and Strategy for the Steel Mill Slab Design Problem.
77-89
Electronic Edition (link) BibTeX
- Rosella Gennari, Ornella Mich:
Constraint-Based Temporal Reasoning for E-Learning with LODE.
90-104
Electronic Edition (link) BibTeX
- Roman van der Krogt, James Little, Kenneth Pulliam, Sue Hanhilammi, Yue Jin:
Scheduling for Cellular Manufacturing.
105-117
Electronic Edition (link) BibTeX
Full Research Papers
- Henrik Reif Andersen, Tarik Hadzic, John N. Hooker, Peter Tiedemann:
A Constraint Store Based on Multivalued Decision Diagrams.
118-132
Electronic Edition (link) BibTeX
- Fahiem Bacchus:
GAC Via Unit Propagation.
133-147
Electronic Edition (link) BibTeX
- Fahiem Bacchus, Kostas Stergiou:
Solution Directed Backjumping for QCSP.
148-163
Electronic Edition (link) BibTeX
- Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock:
Reformulating CSPs for Scalability with Application to Geospatial Reasoning.
164-179
Electronic Edition (link) BibTeX
- Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder, R. Sadek, Charlotte Truchet:
A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects.
180-194
Electronic Edition (link) BibTeX
- Belaid Benhamou, Mohamed Réda Saïdi:
Local Symmetry Breaking During Search in CSPs.
195-209
Electronic Edition (link) BibTeX
- Sebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh:
Encodings of the Sequence Constraint.
210-224
Electronic Edition (link) BibTeX
- Sylvain Darras, Gilles Dequen, Laure Devendeville, Chu Min Li:
On Inconsistent Clause-Subsets for Max-SAT Solving.
225-240
Electronic Edition (link) BibTeX
- Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé:
An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming.
241-255
Electronic Edition (link) BibTeX
- Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal:
Tradeoffs in the Complexity of Backdoor Detection.
256-270
Electronic Edition (link) BibTeX
- Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel:
Model-Driven Visualizations of Constraint-Based Local Search.
271-285
Electronic Edition (link) BibTeX
- Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable:
Dealing with Incomplete Preferences in Soft Constraint Problems.
286-300
Electronic Edition (link) BibTeX
- Alfonso Gerevini, Alessandro Saetti:
Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure.
301-316
Electronic Edition (link) BibTeX
- Éric Grégoire, Bertrand Mazure, Cédric Piette:
MUST: Provide a Finer-Grained Explanation of Unsatisfiability.
317-331
Electronic Edition (link) BibTeX
- Steven Halim, Roland H. C. Yap, Hoong Chuin Lau:
An Integrated White+Black Box Approach for Designing and Tuning Stochastic Local Search.
332-347
Electronic Edition (link) BibTeX
- Matti Järvisalo, Tommi A. Junttila:
Limitations of Restricted Branching in Clause Learning.
348-363
Electronic Edition (link) BibTeX
- Philippe Jégou, Samba Ndiaye, Cyril Terrioux:
Dynamic Management of Heuristics for Solving Structured CSPs.
364-378
Electronic Edition (link) BibTeX
- George Katsirelos, Toby Walsh:
A Compression Algorithm for Large Arity Extensional Constraints.
379-393
Electronic Edition (link) BibTeX
- Mohand Ou Idir Khemmoudj, Hachemi Bennaceur:
Valid Inequality Based Lower Bounds for WCSP.
394-408
Electronic Edition (link) BibTeX
- Mikael Z. Lagerkvist, Christian Schulte:
Advisors for Incremental Propagation.
409-422
Electronic Edition (link) BibTeX
- Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, J. Y. K. Yip:
Breaking Symmetry of Interchangeable Variables and Values.
423-437
Electronic Edition (link) BibTeX
- Christophe Lecoutre, Stéphane Cardon, Julien Vion:
Path Consistency by Dual Consistency.
438-452
Electronic Edition (link) BibTeX
- Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal:
Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance.
453-467
Electronic Edition (link) BibTeX
- Michele Lombardi, Michela Milano:
Scheduling Conditional Task Graphs.
468-482
Electronic Edition (link) BibTeX
- João P. Marques Silva, Inês Lynce:
Towards Robust CNF Encodings of Cardinality Constraints.
483-497
Electronic Edition (link) BibTeX
- Robert Mateescu, Radu Marinescu, Rina Dechter:
AND/OR Multi-valued Decision Diagrams for Constraint Optimization.
498-513
Electronic Edition (link) BibTeX
- Laurent Michel, Andrew See, Pascal Van Hentenryck:
Parallelizing Constraint Programs Transparently.
514-528
Electronic Edition (link) BibTeX
- Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack:
MiniZinc: Towards a Standard CP Modelling Language.
529-543
Electronic Edition (link) BibTeX
- Olga Ohrimenko, Peter J. Stuckey, Michael Codish:
Propagation = Lazy Clause Generation.
544-558
Electronic Edition (link) BibTeX
- Matthieu Petit, Arnaud Gotlieb:
Boosting Probabilistic Choice Operators.
559-573
Electronic Edition (link) BibTeX
- Luca Pulina, Armando Tacchella:
A Multi-engine Solver for Quantified Boolean Formulas.
574-589
Electronic Edition (link) BibTeX
- Claude-Guy Quimper, Toby Walsh:
Decomposing Global Grammar Constraints.
590-604
Electronic Edition (link) BibTeX
- Miquel Ramírez, Hector Geffner:
Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT.
605-619
Electronic Edition (link) BibTeX
- Pierre Schaus, Yves Deville, Pierre Dupont:
Bound-Consistent Deviation Constraint.
620-634
Electronic Edition (link) BibTeX
- Gilles Trombettoni, Gilles Chabert:
Constructive Interval Disjunction.
635-650
Electronic Edition (link) BibTeX
- Menkes van den Briel, J. Benton, Subbarao Kambhampati, Thomas Vossen:
An LP-Based Heuristic for Optimal Planning.
651-665
Electronic Edition (link) BibTeX
- Nic Wilson, Diarmuid Grimes, Eugene C. Freuder:
A Cost-Based Model and Algorithms for Interleaving Solving and Elicitation of CSPs.
666-680
Electronic Edition (link) BibTeX
- Huayue Wu, Peter van Beek:
On Universal Restart Strategies for Backtracking Search.
681-695
Electronic Edition (link) BibTeX
- Lin Xu, Holger H. Hoos, Kevin Leyton-Brown:
Hierarchical Hardness Models for SAT.
696-711
Electronic Edition (link) BibTeX
- Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown:
: The Design and Analysis of an Algorithm Portfolio for SAT.
712-727
Electronic Edition (link) BibTeX
- Stéphane Zampelli, Yves Deville, Christine Solnon, Sébastien Sorlin, Pierre Dupont:
Filtering for Subgraph Isomorphism.
728-742
Electronic Edition (link) BibTeX
- Alessandro Zanarini, Gilles Pesant:
Solution Counting Algorithms for Constraint-Centered Search Heuristics.
743-757
Electronic Edition (link) BibTeX
- Roie Zivan, Moshe Zazone, Amnon Meisels:
Min-Domain Ordering for Asynchronous Backtracking.
758-772
Electronic Edition (link) BibTeX
Short Research Papers
- Stefano Bistarelli, Pamela Peretti, Irina Trubitsyna:
Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario.
773-781
Electronic Edition (link) BibTeX
- Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable:
Uncertainty in Bipolar Preference Problems.
782-789
Electronic Edition (link) BibTeX
- Lucas Bordeaux, Youssef Hamadi, Moshe Y. Vardi:
An Analysis of Slow Convergence in Interval Propagation.
790-797
Electronic Edition (link) BibTeX
- David A. Cohen, Peter Jeavons, Stanislav Zivný:
The Expressive Power of Valued Constraints: Hierarchies and Collapses.
798-805
Electronic Edition (link) BibTeX
- Jean-François Condotta, Gérard Ligozat, Mahmoud Saade:
Eligible and Frozen Constraints for Solving Temporal Qualitative Constraint Networks.
806-814
Electronic Edition (link) BibTeX
- Marco Gavanelli:
The Log-Support Encoding of CSP into SAT.
815-822
Electronic Edition (link) BibTeX
- Ian P. Gent, Tom Kelsey, S. A. Linton, J. Pearson, Colva M. Roney-Dougal:
Groupoids and Conditional Symmetry.
823-830
Electronic Edition (link) BibTeX
- Diarmuid Grimes, Richard J. Wallace:
Sampling Strategies and Variable Selection in Weighted Degree Heuristics.
831-838
Electronic Edition (link) BibTeX
- Jinbo Huang:
A Case for Simple SAT Solvers.
839-846
Electronic Edition (link) BibTeX
- Zeynep Kiziltan, Andrea Lodi, Michela Milano, Fabio Parisini:
CP-Based Local Branching.
847-855
Electronic Edition (link) BibTeX
- Bart Peintner, Kristen Brent Venable, Neil Yorke-Smith:
Strong Controllability of Disjunctive Temporal Problems with Uncertainty.
856-863
Electronic Edition (link) BibTeX
- Vicente Ruiz de Angulo, Carme Torras:
Exploiting Single-Cycle Symmetries in Branch-and-Prune algorithms.
864-871
Electronic Edition (link) BibTeX
- Barbara M. Smith, Stefano Bistarelli, Barry O'Sullivan:
Constraint Symmetry for the Soft CSP.
872-879
Electronic Edition (link) BibTeX
- Toby Walsh:
Breaking Value Symmetry.
880-887
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:03:43 2009
by Michael Ley (ley@uni-trier.de)