First Session: 9:00 - 10:30

Session chair: Zeynep Kiziltan

• 09.00 - 09:25 Eugene Freuder. Dispensable Instantiations
• 09.25 - 09:50 Maria Andreina Francisco Rodriguez, Pierre Flener and Justin Pearson. Consistency of Constraint Networks Induced by Automaton-Based Constraint Specification
• 09:50 - 10:10 Carlos Ansotegui, Miquel Bofill, Miquel Palahi, Josep Suy and Mateu Villaret. A Proposal for Solving Weighted CSP with SMT
• 10:10 - 10:30 John Hewson and Paul Anderson. Modelling System Administration Problems with CSPs

Coffee Break: 10:30 - 10:55

Second Session: 10:55 - 12:35

Session chair: Pascal van Hentenryck

• 10:55 - 11:45 INVITED TALK: Alan Frisch, University of York, UK
  
  "A Decade of Research on Constraint Modelling and Reformulation:
  The Quest for Abstraction and Automation" (abstract) (slides)
  
  
• 11:45 - 12:10 Nicolas Beldiceanu and Helmut Simonis Using the Global Constraint Seeker for Learning Structured Constraint Models: a First Attempt
• 12:10 - 12:35 Amanda Swearngin, Berthe Y. Choueiry and Eugene C. Freuder A Reformulation Strategy for Multi-Dimensional CSPs: A Case Study for the SET Game

Lunch: 12:35 - 14:00

Third Session: 14:00 - 15:40

Session chair: Gilles Pesant

• 14:00- 15:00 PANEL DISCUSSION "Directions of CP Modelling and Reformulation in the Context of Extended Solver Representations"
  Panelists: Stefan Heinz, Michela Milano, Peter Stuckey, Willem-Jan van Hoeve
  Moderation: Helmut Simonis
  
  
• 15:00 - 15:15 Open Discussion
• 15:15 - 15:40 Lucas Bordeaux and Joao Marques-Silva Knowledge Compilation with Empowerment

Coffee Break: 15:40 - 16:10

Last Session: 16:10 - 17:45

Session chair: Lucas Bordeaux

• 16:10 - 16:35 Gilles Pesant Filtering and Counting for the Spread and Deviation Constraints
• 16:35 - 17:00 Christian Bessiere, Zeynep Kiziltan and Toby Walsh Combining Set Variable Representations
• 17:00 - 17:25 Jean-Charles Regin Improving the Expressiveness of Table Constraints
• 17:25 - 17:45 George Katsirelos, Nina Narodytska, Claude-Guy Quimper and Toby Walsh Global Matrix Constraints

18:00 A short guided tour of the city, starting from the workshop's rooms

20:00 Welcome reception in Rocca Paolina (at "C.E.R.P." )

« ModRef 2011 Home page