Publications on the Comet System

1. Constraint-Based Local Search. Pascal Van Hentenryck and Laurent Michel, The MIT Press, 2005.
   

2. The Steel Mill Slab Design Problem Revisited.  P. Van Hentenryck, and L. Michel. In CP'AI'OR-08, Paris, France. May 2008. © Springer Verlag.
   

3. Optimal Deployment of Eventually-Serializable Data Services. L. Michel, A. Shvartsman, E. Sonderegger, and Van Hentenryck. In CP'AI'OR-08, Paris, France. May 2008. © Springer Verlag.
   

4. Parallelizing Constraint Programs Transparently. L. Michel, A. See, and P. Van Hentenryck. CP’2007, Providence, RI. © Springer Verlag
   

5. Model-Driven Visualizations of Constraint-based Local Search. G. Dooms, P. Van Hentenryck, and L. Michel. CP’2007, Providence, RI. © Springer Verlag
   

6. Synthesis of Constraint-Based Local Search Algorithms from High-Level Models. P. Van Hentenryck and L. Michel. Proceedings of the 22nd Conference on Artificial Intelligence, Vancouver, Canada. (AAAI’07).
   

7. Differentiable Invariants. P. Van Hentenryck and L. Michel.
   

CP-06. © Springer Verlag.

1. Distributed Constraint-Based Local Search. L. Michel, A. See, and P. Van Hentenryck. CP-06. © Springer Verlag
   

2.   Nondeterministic Control for Hybrid Search. Pascal Van Hentenryck and Laurent Michel. CP”AI’OR’05, Prague. (To Appear in Constraints.)
   

3. Parallel Local Search in Comet. Laurent Michel, and Pascal Van Hentenryck. Proceedings of the 11th International Conference on Constraint Programming (CP-2005) Stiges, Spain, September 2005. © Springer Verlag
   

4. Constraint-Based Combinators for Local Search. Pascal Van Hentenryck, Laurent Michel, and Liyuan Liu. Proceedings of the 10th International Conference on Constraint Programming (CP-2003), Toronto, Canada, September 2004. © Springer Verlag (Distinguished Paper)
   

5. Control Abstractions for Local Search. P. Van Hentenryck and L. Michel. (CP-2003), Kinsale, Ireland. © Springer Verlag (Best Paper Award)
   

6. A Constraint-Based Architecture for Local Search. L. Michel and P. Van Hentenryck. Proceedings of the 17th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, Seattle, WA, November, 2002.