![]() |
UCLouvain, Louvain-la-Neuve, Belgium 6-7 October 2008 Graduate course : Comet and Constraint Programming by Pascal Van Hentenryck (Brown University) 8 Octobre 2008 The Université catholique de Louvain will confer the title of Doctor Honoris Causa to A. Fert (Paris-Sud, Nobel Prize Physics 2007), R.L Rivest (MIT, Turing Award 2002), J.N. Tsitsiklis (MIT), and P. Van Hentenryck (Brown Univ.). 10:45-12:15 Workshop on Computing Science and Applied Mathematics More information Invited talks of R.L Rivest, J.N. Tsitsiklis and P. Van Hentenryck. 14:00-16:30 Scientific conferences by A. Fert, R.L Rivest, J.N. Tsitsiklis and P. Van Hentenryck.17:00-18:00 Doctor Honoris Causa Conferment ceremony GRASCOMP Graduate School in Computing Science is organizing Comet and Constraint Programming by Pascal Van Hentenryck (Brown University) 6-7 October 2008 UCLouvain, Louvain-la-Neuve, Belgium Content Over the last two decades, constraint programming (CP) has become a fundamental approach to combinatorial optimization and is now in daily use around the world to solve complex applications in a variety of areas such as logistics, manufacturing, and resource allocation. This graduate class is an introduction to constraint programming using the innovative optimization language Comet. It reviews the essence of constraint programming and how it complements other approaches to combinatorial optimization. It provides an in-depth study of modeling, filtering, and search in constraint programming. The functionalities are constraint programming are illustrated on a variety of realistic applications, highlighting some of the modeling and computational benefits of constraint programming. The class also studies the architecture of a modern constraint programming system, including the clean separation between the specification of the search and the exploration strategy and the transparent parallelization of constraint programs. Finally, the hybridization of constraint programming and other optimization methodologies is also discussed. Registration
|