Description

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

Organisation

• Andrea Rendl, Austrian Institute of Technology, Austria
• J. Christopher Beck, University of Toronto, Canada