Program
You can download the workshop proceedings.
Monday, September 6, 2010
| 09:00 | Opening remarks |
| 09:10 | Combining Parallel Search and Parallel Consistency in Constraint Programming |
| Carl Christian Rolf, Krzysztof Kuchcinski | |
| 09:30 | Distributed solving through model splitting |
| Lars Kotthoff, Neil C.A. Moore | |
| 09:50 | Experimental Evaluation of Branching Schemes for the CSP |
| Thanasis Balafoutis, Kostas Stergiou, Anastasia Paparrizou | |
| 10:10 | GenDebugger: An Explanation-based Constraint Debugger |
| (System Demonstration) | |
| Reuven Naveh, Giora Alexandron, Aaron Rich, Vitaly Lagoon | |
| 10:30 | Tea break |
| 10:50 | Implementing Efficient Propagation Control |
| Christian Schulte, Guido Tack | |
| 11:10 | Handling Heterogeneous Constraints in Revision Ordering Heuristics |
| Julien Vion, Sylvain Piechowiak | |
| 11:30 | Machine 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 |