ModRef'11 Panel Discussion
"Directions of CP Modelling and Reformulation in the Context of Extended Solver Representations"

2:00-3:15pm, Monday 12 September 2011


There has been a considerable growth in extending the CP paradigm beyond the classical representation (i.e. domain store plus global constraints) to also use representations such as Linear constraints (solved with a specialized algorithm), Boolean clauses, Multi-valued Decision Diagrams (MDDs), and even recent work on the integration of soft computing paradigms such as neural networks.

Based on the suggestion of Helmut Simonis, this panel will bring together representatives of various extensions in order to discuss future directions and their effects on the research agenda of our community, especially the consequences for problem modeling and reformulation.

Each panelist will provide a 10-minute presentation on the representational extension, after which a discussion (20 to 30 minutes) will be held, guided and animated by the moderator.

Confirmed Panel Speakers

Moderation: Helmut Simonis, Cork Constraint Computation Centre, Ireland

  • Extension with Boolean Clauses
    Peter Stuckey, University of Melbourne, Australia

  • Extension with LP
    Stefan Heinz, Zuse Institute Berlin, Germany

  • Extension with MDDs
    Willem-Jan van Hoeve, Carnegie Mellon University, USA

  • Extension with Neural Networks
    Michela Milano, University of Bologna, Italy


« ModRef 2011 Home page