http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM8Jefferson 2026-04-05T21:09:40Z Revision history for this page on the wiki MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M8Jefferson&diff=279&oldid=prev 2011-12-12T10:06:28Z

<p>1 revision</p> <p><b>New page</b></p><div>[[Category:WG211]]<br /> <br /> <br /> =DoMinion : Generating Efficient Constraint Programming Solvers=<br /> ==Christopher Jefferson==<br /> <br /> 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.&lt;br /&gt;&lt;br /&gt;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.</div>

Admin