Eighth International Workshop on
		Constraint Modelling and Reformulation

			  20 September 2009
                             
			      PROGRAMME
                             ===========

Session 1: 9:15 - 10:45
   
   Lessons Learned from Modelling the NHL Playoff Qualification Problem
       Tyrel Russell, Peter van Beek
       25 minute talk, 5 minute discussion

   Markov Logic as a Modelling Language for Weighted Constraint 
   Satisfaction Problems
       Dominik Jain, Paul Maier, Gregor Wylezich
       15 minute talk, 5 minute discussion

   Tractable Benchmarks 
       Justyna Petke, Peter Jeavons
       15 minute talk

   Panel Discussion: The Utility of Tractable Benchmarks
       Peter Jeavons, Helmut Simonis, Ian Gent
       25 minutes


Coffee Break: 10:45 - 11:15


Session 2: 11:15 - 12:15

   Debugging Constraint Models with Metamodels and Metaknowledge
       Eugene C. Freuder, Richard J. Wallace, Tomas E. Nordlander
       15 minute talk, 5 minute discussion

   Preprocessing in Pseudo-Boolean Optimization: An Experimental Evaluation
       Ruben Martins, Ines Lynce, Vasco Manquinho
       15 minute talk, 5 minute discussion

   SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format
       Miquel Bofill, Miquel Palahi, Josep Suy, Mateu Villaret
       15 minute talk, 5 minute discussion


Lunch Break: 12:15 - 13:45


Session 3: 13:45 - 15:15

   When Can I Get a Quick Shave?
       Alessandro Zanarini, Gilles Pesant
       25 minute talk, 5 minute discussion

   Decomposition of the nvalue constraint
       Christian Bessiere, George Katsirelos, Nina Narodytska, 
       Claude-Guy Quimper, Toby Walsh
       15 minute talk, 5 minute discussion

   On the Specification of Search Tree Ordering Heuristics by 
   Pattern Matching in a Rule-Based Modeling Language
       Julien Martin, Thierry Martinez, Francois Fages
       15 minute talk, 5 minute discussion

   The Cost of Flattening with Common Subexpression Elimination
       Andrea Rendl, Ian Miguel, Ian P. Gent
       15 minute talk, 5 minute discussion


Coffee break: 15:15 - 15:45


Session 4: 15:45 - 16:45

   Comparing Dual Viewpoints in Permutation Problems
       Barbara M. Smith
       15 minute talk, 5 minute discussion

   The Evolving World of MiniZinc
       Peter J. Stuckey, Ralph Becket, Sebastian Brand, Mark Brown, Thibaut Feydy, 
       Julien Fischer, Maria Garcia de la Banda, Kim Marriott, Mark Wallace
       15 minute talk, 5 minute discussion 

   Extending Soft Arc Consistency Algorithms to Non-Invertible Semirings 
   with an Application to Multi-Criteria Problems
       Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon, 
       Francesco Santini
       8 minute talk, 2 minute discussion

   Monadic Constraint Programming with Gecode
       Pieter Wuille, Tom Schrijvers
       8 minute talk, 2 minute discussion