______________________________________________________________________
Date:  Friday 13 September 2013
Time:  11:00
Venue: Room 4306, House 4, ITC, Polacksbacken, Uppsala University
______________________________________________________________________

                   Constraint Solver Synthesis

         Ian Miguel (http://www.cs.st-andrews.ac.uk/~ianm/)

              University of St Andrews, United Kingdom

Modern constraint solvers are able to solve efficiently a broad range
of problems.  However, this convenience comes at the price of a
complex, monolithic architecture that typically requires significant
manual tuning by an expert to achieve best performance.  This talk
will describe Dominion, a novel constraint solver architecture based
on generative programming.  An input problem is analysed and a
constraint solver tailored to its features is synthesised from a
library containing a wide variety of components, many unsuitable for
inclusion in a generic solver.  The specification of the synthesised
solver is tuned automatically, removing the need for human
intervention.  The result is a potentially dramatic increase in
solving efficiency.
______________________________________________________________________

Directions: http://www.polacksbacken.uu.se/Find_us/