16. CP 2010:
St. Andrews,
Scotland,
UK
David Cohen (Ed.):
Principles and Practice of Constraint Programming - CP 2010 - 16th International Conference, CP 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings.
Lecture Notes in Computer Science 6308 Springer 2010, ISBN 978-3-642-15395-2 
Invited Talks
- Robert Nieuwenhuis:
SAT Modulo Theories: Getting the Best of SAT and Global Constraint Filtering.
1-2
- Edward P. K. Tsang:
Constraint-Directed Search in Computational Finance and Economics.
3-7
- Moshe Y. Vardi:
Constraints, Graphs, Algebra, Logic, and Complexity.
8
Distinguished Papers
Research Track
- David Allouche, Simon de Givry, Thomas Schiex:
Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP.
53-60
- Ignacio Araya, Gilles Trombettoni, Bertrand Neveu:
Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity.
61-68
- Thanasis Balafoutis, Anastasia Paparrizou, Kostas Stergiou, Toby Walsh:
Improving the Performance of maxRPC.
69-83
- J. Christopher Beck:
Checking-Up on Branch-and-Check.
84-98
- Russell Bent, Pascal Van Hentenryck:
Spatial, Temporal, and Hybrid Decompositions for Large-Scale Vehicle Routing with Time Windows.
99-113
- Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Decomposition of the NValue Constraint.
114-128
- Hadrien Cambazard, Barry O'Sullivan:
Propagating the Bin Packing Constraint Using Linear Programming.
129-136
- Gilles Chabert, Nicolas Beldiceanu:
Sweeping with Continuous Domains.
137-151
- Martin C. Cooper, Stanislav Zivny:
A New Hybrid Tractable Class of Soft Constraint Problems.
152-166
- Alessandro Dal Palù, Mathias Möhl, Sebastian Will:
A Propagator for Maximum Weight String Alignment with Arbitrary Pairwise Dependencies.
167-175
- Jessica Davies, Jeremy Cho, Fahiem Bacchus:
Using Learnt Clauses in maxsat.
176-190
- Yves Deville, Pascal Van Hentenryck:
Domain Consistency with Forbidden Values.
191-205
- Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale:
Generating Special-Purpose Stateless Propagators for Arbitrary Constraints.
206-220
- Alexandre Goldsztejn, Olivier Mullier, Damien Eveillard, Hiroshi Hosobe:
Including Ordinary Differential Equations Based Constraints in the Standard CP Framework.
221-235
- Gianluigi Greco, Francesco Scarcello:
Structural Tractability of Enumerating CSP Solutions.
236-251
- Long Guo, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais:
Diversification and Intensification in Parallel SAT Solving.
252-265
- Samid Hoda, Willem Jan van Hoeve, John N. Hooker:
A Systematic Approach to MDD-Based Constraint Programming.
266-280
- Siddhartha Jain, Eoin O'Mahony, Meinolf Sellmann:
A Complete Multi-valued SAT Solver.
281-296
- Tommi A. Junttila, Petteri Kaski:
Exact Cover via Satisfiability: An Empirical Study.
297-304
- George Katsirelos, Nina Narodytska, Toby Walsh:
On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry.
305-320
- Lars Kotthoff, Ian Miguel, Peter Nightingale:
Ensemble Classification for Constraint Solver Configuration.
321-329
- Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah:
On Testing Constraint Programs.
330-344
- Florent R. Madelaine:
On the Containment of Forbidden Patterns Problems.
345-359
- Bruno Marre, Claude Michel:
Improving the Floating Point Addition and Subtraction Constraints.
360-367
- Barnaby Martin:
The Lattice Structure of Sets of Surjective Hyper-Operations.
368-382
- Michele Lombardi, Michela Milano:
Constraint Based Scheduling to Deal with Uncertain Durations and Self-Timed Execution.
383-397
- Justyna Petke, Peter Jeavons:
Local Consistency and SAT-Solvers.
398-413
- Jussi Rintanen:
Heuristics for Planning with SAT.
414-428
- Yevgeny Schreiber:
Value-Ordering Heuristics: Search Performance vs. Solution Diversity.
429-444
- Andreas Schutt, Armin Wolf:
A New O(n2logn) Not-First/Not-Last Pruning Algorithm for Cumulative Resource Constraints.
445-459
- Helmut Simonis, Paul Davern, Jacob Feldman, Deepak Mehta, Luis Quesada, Mats Carlsson:
A Generic Visualization Platform for CP.
460-474
- Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan:
Database Constraints and Homomorphism Dualities.
475-490
- Gilles Trombettoni, Yves Papegay, Gilles Chabert, Odile Pourtallier:
A Box-Consistency Contractor Based on Extremal Functions.
491-498
- Justin Yip, Pascal Van Hentenryck:
Exponential Propagation for Set Variables.
499-513
Applications Track
- Kiyan Ahmadizadeh, Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal:
An Empirical Study of Optimization for Maximizing Diffusion in Networks.
514-521
- Andreas Bauer, Viorica Botea, Mark Brown, Matt Gray, Daniel Harabor, John K. Slaney:
An Integrated Modelling, Debugging, and Visualisation Environment for G12.
522-536
- Ahmet Serkan Karatas, Halit Oguztüzün, Ali H. Dogru:
Global Constraints on Feature Models.
537-551
- Mehdi Khiari, Patrice Boizumault, Bruno Crémilleux:
Constraint Programming for Mining n-ary Patterns.
552-567
- Roman van der Krogt, Jacob Feldman, James Little, David Stynes:
An Integrated Business Rules and Constraints Approach to Data Centre Capacity Management.
568-582
- David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson:
Context-Sensitive Call Control Using Constraints and Rules.
583-597
- Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck:
Load Balancing and Almost Symmetries for RAMBO Quorum Hosting.
598-612
- Roberto Castañeda Lozano, Christian Schulte, Lars Wahlberg:
Testing Continuous Double Auctions with a Constraint-Based Oracle.
613-627
- Michaël Soulignac, Michel Rueher, Patrick Taillibert:
A Safe and Flexible CP-Based Approach for Velocity Tuning Problems.
628-642
- Karl Sundequist Blomdahl, Pierre Flener, Justin Pearson:
Contingency Plans for Air Traffic Management.
643-657
Last update Thu May 24 04:15:22 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
