CP2010 Accepted Papers
Barnaby Martin
.
The lattice structure of sets of surjective
hyper-operations
Justyna Petke and Peter Jeavons.
Local consistency and SAT-solvers
Karl Sundequist Blomdahl, Pierre Flener
and Justin Pearson.
Contingency Plans for Air Traffic Management
Martin C. Cooper and Stanislav Zivny
.
A new hybrid tractable class of soft constraint problems
SOULIGNAC Michaël, RUEHER
Michel
and TAILLIBERT Patrick.
A Safe and Flexible CP-based Approach for Velocity
Tuning Problems
Mehdi Khiari, Patrice Boizumault and Bruno
Cremilleux
.
Constraint Programming for Mining n-ary Patterns
George Katsirelos, Nina Narodytska and Toby Walsh
.
Static Constraints for Breaking Row and Column Symmetry
Yevgeny Schreiber.
Value-Ordering Heuristics: Search Performance vs.
Solution Diversity
Andreas Bauer
, Viorica Botea, Mark Brown, Matt Gray, Daniel Harabor
and John
Slaney
.
An Integrated Modelling, Debugging, and Visualisation
Environment for G12
Bruno Marre and Claude Michel.
Improving the floating point addition and subtraction
constraints
Sigal Asaf, Haggai Eran, Yossi Richter, Daniel P.
Connors, Donna L. Gresh, Julio Ortega and Michael J Mcinnis.
Optimatch: Applying Constraint Programming to
Identification and Assignment of Service Professionals
Helmut Simonis, Paul Davern, Jacob Feldman
, Deepak Mehta, Luis Quesada
and Mats Carlsson.
A Generic Visualization Platform for CP
Ahmet Serkan Karata., Halit O.uztüzün and Ali Do.ru
.
Global Constraints on Feature Models
Thanasis Balafoutis, Anastasia Paparrizou, Kostas
Stergiou and Toby Walsh
.
Improving the Performance of maxRPC
Russell Bent and Pascal Van
Hentenryck
.
Spatial, Temporal, and Hybrid Decompositions For
Large-Scale Vehicle Routing with TimeWindows
Andreas Schutt and Armin Wolf
.
A New O(n^2 log n) Not-First/Not-Last Pruning Algorithm
for Cumulative Resource Constraints
Ian Gent, Chris Jefferson, Ian Miguel and Peter
Nightingale
.
Generating Special-purpose Stateless Propagators for
Arbitrary Constraints
Hadrien Cambazard and Barry
O'Sullivan
.
Propagating the Bin Packing Constraint using Linear
Programming
Michela Milano and Michele Lombardi.
Constraint Based Scheduling to deal with Uncertain
Durations and Self-Timed Execution
Jessica Davies, Jeremy Cho and Fahiem
Bacchus
.
Using Learnt Clauses in Max-SAT