A General Local Search Solver for FlatZinc
Caschia, Sara; Di Gaspero, Luca; Schaerf, Andrea; Urli, Tommaso
Description
MiniZinc [5, 7] is a high-level declarative modeling language that has become quite popular in the last few years. One of the main features of MiniZinc is the underlying middle-level constraint language FlatZinc, into which a MiniZinc model, along with a given instance, is translated.
| Collections | ANU Research Publications |
|---|---|
| Date published: | 2015 |
| Type: | Conference paper |
| URI: | http://hdl.handle.net/1885/270448 |
| Source: | A General Local Search Solver for FlatZinc |
| Book Title: | MIC 2015: The XI Metaheuristics International Conference |
Download
| File | Description | Size | Format | Image |
|---|---|---|---|---|
| A General Local Search Solver for FlatZinc.pdf | 162.13 kB | Adobe PDF | Request a copy |
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 17 November 2022/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator
+61 2 6125 5111
The Australian National University, Canberra
CRICOS Provider : 00120C
ABN : 52 234 063 906
