10th international workshop on constraint modelling and reformulation
DESCRIPTION
ModRef’11 @. 10th International Workshop on Constraint Modelling and Reformulation. Workshop Organizers Andrea Rendl Austrian Institute of Technology, Austria J. Christopher Beck University of Toronto, Canada. Programme Committee Andrea Rendl (Austria) - PowerPoint PPT PresentationTRANSCRIPT
10th International Workshop on Constraint Modelling and Reformulation
September 12, 2011 University of Perugia, Italy
Workshop OrganizersAndrea RendlAustrian Institute of Technology, AustriaJ. Christopher Beck University of Toronto, Canada
Programme CommitteeAndrea Rendl (Austria)J. Christopher Beck (Canada) Alan M. Frisch (UK)Stefan Heinz (Germany)Brahim Hnich (Turkey)Jimmy Lee (China)Ian Miguel (UK)
Michela Milano (UK)Nina Narodytska (Australia)Justin K. Pearson (Sweden)Tom Schrijvers (Belgum)Helmut Simonis (Ireland)Pascal Van Hentenryck (USA)Mark Wallace (Australia)
09:00 Eugene Freuder.Dispensable Instantiations
09:25 Maria Andreina Francisco Rodriguez, Justin Pearson and Pierre Flener.Consistency of Constraint Networks Induced by Automaton-Based Constraint Specification
09:50 Carlos Ansotegui, Miquel Bofill, Miquel Palahi, Josep Suy and Mateu Villaret.A Proposal for Solving Weighted CSP with SMT
10:10 John Hewson and Paul Anderson.Modelling System Administration Problems with CSPs
10:25 Coffee Break
10:55 Invited TalkAlan Frisch, University of York, UK
A Decade of Research on Constraint Modelling and Reformulation:The Quest for Abstraction and Automation
11:45 Nicolas Beldiceanu and Helmut Simonis.Using the Global Constraint Seeker for Learning Structured Constraint Models: a First Attempt
12:10 Amanda Swearngin, Berthe Y. Choueiry and Eugene C. Freuder.A Reformulation Strategy for Multi-Dimensional CSPs: A Case Study for the SET Game
12:35 Lunch Break
14:00 Panel DiscussionDirections of CP Modelling and Reformulation in the Context of Extended Solver Representations
Moderation: Helmut SimonisPanelists: Stefan Heinz, Michela Milano, Peter Stuckey, Willem-Jan van Hoeve
15:00 Open discussion
15:15 Lucas Bordeaux and Joao Marques-Silva.Knowledge Compilation with Empowerment
15:40 Coffee Break
16:10 Gilles Pesant.Filtering and Counting for the Spread and Deviation Constraints
16:35 Christian Bessiere, Zeynep Kiziltan and Toby Walsh.Combining Set Variable Representations
17:00 Jean-Charles Regin.Improving the Expressiveness of Table Constraints
17:25 George Katsirelos, Nina Narodytska, Claude-Guy Quimper and Toby Walsh.Global Matrix Constraints
ModRef’11 @