On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/M8Jefferson: Difference between revisions
From WG 2.11
Jump to navigationJump to search
m 1 revision |
(No difference)
|
Latest revision as of 12:06, 12 December 2011
DoMinion : Generating Efficient Constraint Programming Solvers
Christopher Jefferson
Constraint Programming is a field where the efficiency of software tools is paramount. The Minion constraint solver was developed at St. Andrews and has been carefully tuned to have high performance over as many problems as possible.
This talk will present preliminary research in our new solver, DoMinion, which aims to generate a custom-solver for a given problem, using a large range of component parts. Our aim is to allow as generic a system as possible, while ensuring the resulting solvers are as fast as custom-written ones.
