Language:

The MiniZinc Challenge 2008–2013

Stuckey, Peter J. ; Feydy, Thibaut ; Schutt, Andreas ; Tack, Guido ; Fischer, Julien

The AI magazine, 2014-06, Vol.35 (2), p.55-60 [Peer Reviewed Journal]

Full text available

Citations Cited by

Title:
The MiniZinc Challenge 2008–2013
Author: Stuckey, Peter J. ; Feydy, Thibaut ; Schutt, Andreas ; Tack, Guido ; Fischer, Julien
Subjects: Algorithms ; Arrays ; Artificial intelligence ; Competition ; Computer programming ; Contests ; Integer programming ; Job shops ; Mathematical optimization ; Methods ; Optimization ; Optimization theory ; Programming language ; Programming languages ; Variables
Is Part Of: The AI magazine, 2014-06, Vol.35 (2), p.55-60
Description: MiniZinc is a solver‐agnostic modeling language for defining and solving combinatorial satisfaction and optimization problems. MiniZinc provides a solver‐independent modeling language that is now supported by constraint‐programming solvers, mixed integer programming solvers, SAT and SAT modulo theory solvers, and hybrid solvers. Every year since 2008 we have run the MiniZinc Challenge, which compares and contrasts the different strengths of different solvers and solving technologies on a set of MiniZinc models. Here we report on what we have learned from running the competition for 6 years.
Publisher: La Canada: American Association for Artificial Intelligence
Language: English

Back to results list

Previous Result 2 Next Go to Next page