MiniZinc is a simple and expressive modelling language that is easy to interface to different solvers. It maps models in MiniZinc down to FlatZinc is a manner that is specializable to different underlying solvers. It is currently supported by constraint programming systems Gecode, Eclipse Prolog, Sicstus Prolog, JaCoP, solvers from the G12 group including a translator to CPLEX, the mathematical programming hybrid CP solver SCIP, as well as having translators that create SAT models from FlatZinc (fzntini), and create SMT models from FlatZinc (fzn2smt).
MiniZinc is a leading candidate for standardizing modelling for constraint programming, since it is the modelling language currently supported by most systems.
The aim of this workshop is to examine the design decisions of MiniZinc and set out the requirements for version 2.0. We wish to take input from the whole CP community, not just solver developers.
This is a half-day workshop open to anyone interested in the MiniZinc. The event will have a strong workshop flavour, with ample time allocated to discussion.
The preliminary program is:
Time | Presentation | Authors |
---|---|---|
9:00 -- 9:05 | Welcome | P. Stuckey |
9:05 -- 9:30 | Search Combinators for MiniZinc [PDF] | T. Schrijvers, G. Tack, H. Samulowitz, P. Wuille, and P. J. Stuckey |
9:30 -- 9:55 | Towards Resource Usage Analysis of MiniZinc Models [PDF] | F. Bueno, M. Garcia de la Banda, M. V. Hermenegildo, P. Lopez-Garcia, E. Mera, and P. J. Stuckey |
9:55 -- 10:20 | W-MiniZinc: A Proposal for Modeling Weighted CSPs with MiniZinc [PDF] | C. Ansotegui, M. Bofill, M. Palahi, J. Suy, and M. Villaret |
Coffee Break | ||
10:55 -- 11:20 | libmzn - A modular CP infrastructure based on MiniZinc [PDF] | G. Tack |
11:20 -- 11:55 | MiniZinc Issues [PDF] | P.J. Stuckey |
11:55 -- 12:30 | Open Discussion | |
12:30 -- 12:35 | MiniZinc Challenge 2011 Results | P.J. Stuckey |
Peter J. Stuckey | NICTA + University of Melbourne, Melbourne, Australia |
Guido Tack | Katholieke Universiteit Leuven, Belgium |
Mark Wallace | Monash University, Australia |
Submission deadline | |
Author notification | Sunday 24th July 2011 |
Camera-Ready Copy deadline | Friday 19 August 2011 |
Workshop | Monday 12 September 2011 |
Paper submission is now closed.
Submissions must be formatted in the Lecture Notes in Computer Science (LNCS) style and must not exceed 15 pages. Submissions of shorter papers, of all forms, are welcome and indeed expected.
Papers must be submitted in PDF format using EasyChair.
All submissions will be reviewed and those that are well written and make a worthwhile contribution to the topic of the workshop will be accepted for publication in the workshop proceedings. The proceedings will be available electronically at CP 2011. At least one author of each accepted paper must attend the workshop.