constraintmodelling.org
People – Constraint Modelling
http://constraintmodelling.org/people
University of St Andrews. University of St Andrews. University of St Andrews. University of St Andrews. University of St Andrews. University of St Andrews. University of St Andrews. University of St Andrews. University of St Andrews. University of St Andrews. University of St Andrews.
blog.ian.gent
Ian Gent's Blog: September 2013
http://blog.ian.gent/2013_09_01_archive.html
Sunday, 22 September 2013. How I became one of the three "best optimizers in the world". One of the three best optimizers in the world? A direct quote. And I'm one of three because our winning team - Mano - comprised me, Allen van Gelder. Won the First International Lightning Model and Solve competition. The competition web page. The main aim of the competition is to have fun, and earn the eternal glory of the title of "best optimizers in the world". I've solved open benchmark problems which had not been...
bigdata.cs.st-andrews.ac.uk
EPSRC: Working Together |
http://bigdata.cs.st-andrews.ac.uk/projects/together
Systems Research Group, School of Computer Science, University of St Andrews. BigExcel: Exploring Big Data for Social Sciences. DoCLite: Container-based Lightweight Benchmarking. Working Together Across ICT: Constraint Programming and Cloud Computing. Blesson Varghese and Adam Barker. Are Clouds Ready to Accelerate Ad hoc Financial Simulations? To appear in the International Symposium on Big Data Computing (BDC 2014). Acceptance rate (7/40): 22%. Acceptance rate (54/301): 18%. To appear in the 6th IEEE I...
constraintmodelling.org
People – Constraint Modelling
http://constraintmodelling.org/tools/minion/people
University of St Andrews. University of St Andrews. University of St Andrews. University of St Andrews. University of St Andrews. University of St Andrews. University of St Andrews. University of St Andrews. University of St Andrews. University of St Andrews. University of St Andrews.
savilerow.cs.st-andrews.ac.uk
Savile Row constraint modelling assistant
http://savilerow.cs.st-andrews.ac.uk/index.html
Savile Row is a modelling assistant. For CP. It provides a high-level language for the user to specify their constraint problem, and automatically translates that language to the input language of a constraint solver. It is a research tool, so it is designed to be flexible. It is very easy to add new rules and program new translation pipelines. Savile Row is the successor to Tailor, developed by Andrea Rendl. As part of her PhD. Some of the techniques used by Savile Row were pioneered by Andrea. Savile R...