Menu:

Updates:

August 24, 2010:
The proceedings are online

August 24, 2010:
Lightning submission now closed

August 19, 2010:
The workshop program is online

August 4, 2010:
List of accepted papers is online

August 4, 2010:
Lightning submission is still open!

August 3, 2010:
Notifications have been sent

July 8, 2010:
Paper submission now closed

May 13, 2010:
The CFP is online

May 5, 2010:
Added program committee

Apr 28, 2010:
Homepage online

Dates

Submission
07/07/2010 (closed)

Notification
04/08/2010

Camera-ready
18/08/2010

Lightning submission
23/08/2010 (closed)

Workshop
06/09/2010

Program

You can download the workshop proceedings.

Monday, September 6, 2010

09:00Opening remarks
09:10Combining Parallel Search and Parallel Consistency in Constraint Programming
Carl Christian Rolf, Krzysztof Kuchcinski
09:30Distributed solving through model splitting
Lars Kotthoff, Neil C.A. Moore
09:50Experimental Evaluation of Branching Schemes for the CSP
Thanasis Balafoutis, Kostas Stergiou, Anastasia Paparrizou
10:10GenDebugger: An Explanation-based Constraint Debugger
(System Demonstration)
Reuven Naveh, Giora Alexandron, Aaron Rich, Vitaly Lagoon
10:30Tea break
10:50Implementing Efficient Propagation Control
Christian Schulte, Guido Tack
11:10Handling Heterogeneous Constraints in Revision Ordering Heuristics
Julien Vion, Sylvain Piechowiak
11:30Machine learning for constraint solver design - A case study for the alldifferent constraint
Ian Gent, Lars Kotthoff, Ian Miguel, Peter Nightingale
11:50 Lightning talks session
12:40 Lunch