Session 1
Applications of Nested Search
(Peter Zoeteweij)
Trying Again to Fail-First
(Richard Wallace, Christopher Beck, Patrick Prosser)
Dynamic Distributed BackJumping
(Viet Nguyen, Djamila Sam-Haroud, Boi Faltings) [
Presentation
]
Session 2
Modeling the Covering Test Problem
(Brahim Hnich, Steven Prestwich, Evgeny Selensky) [
Presentation
]
Transforming and Refining Abstract Constraint Specifications
(Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh) [
Presentation
]
Session 3
A Value Ordering Heuristic for Local Search in Distributed Resource Allocation
(Adrian Petcu, Boi Faltings) [
Presentation
]
An Adaptive Search for the NSCSPs
(Alexis Anglada, Philippe Codognet, Laurent Zimmer)
Combining Branch&Bound and SBDD to solve Soft CSPs
(Stefano Bistarelli, Barry O'Sullivan) [
Presentation
]
Session 4
Constrained CP-nets
(Steve Prestwich, Francesca Rossi, Kristen Brent Venable, Toby Walsh)
A Note on Bilattices and Open Constraint Programming
(Arnaud Lallouet)
Session 5
A system prototype for solving multi-granularity temporal CSP
(Claudio Bettini, Sergio Mascetti, Vincenzo Pupillo)
Computing equilibria using interval constraints
(Lucas Bordeaux, Brice Pajot) [
Presentation
]
Session 6
Propagating Deletions in Tabular Constraints
(Roman Barták)
Pruning by the Use of Equally Constrained Variables
(Igor Razgon, Amnon Meisels)
Session 7
Better Propagation for Non-Preemptive Single-Resource Constraint Problems
(Armin Wolf) [
Presentation
]
Completable Partial Solutions in Constraint Programming and Constraint-based Scheduling
(András Kovács, József Váncza)
Computing Explanations for the Unary Resource Constraint
(Petr Vilim)
Session 8
New Algorithms for the Maximum Hamming Distance Problem
(Ola Angelsmark, Johan Thapper)
Deciding Satisfiability of Equality Logic Formulas with Uninterpreted Functions
(Olga Tveretina)
Super Solutions for Combinatorial Auctions
(Alan Holland, Barry O'Sullivan) [
Presentation
]
Cancelled
Neighborhood Interchangeability and Dynamic Bundling for Non-Binary Finite CSPs
(Berthe Y. Choueiry, Anagh Lal, Eugene C. Freuder)
A New Structural Decomposition Strategy for Finite Constraint Satisfaction Problems
(Yaling Zheng, Berthe Choueiry)