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. Springer 2010 Lecture Notes in Computer Science 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
- Ross Willard: Testing Expressibility Is Hard. 9-23
- Sigal Asaf, Haggai Eran, Yossi Richter, Daniel P. Connors, Donna L. Gresh, Julio Ortega, Michael J. Mcinnis: Applying Constraint Programming to Identification and Assignment of Service Professionals. 24-37
- Stefano Ermon, Carla P. Gomes, Bart Selman: Computing the Density of States of Boolean Formulas. 38-52
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
- 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
- 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
- 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
- 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
- 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
- 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
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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team