@inproceedings{b0a478cdf9d347909f39fef9fa7d2ea1,
title = "Minisearch: A solver-independent meta-search language for MiniZinc",
abstract = "Much of the power of CP comes from the ability to create complex hybrid search algorithms specific to an application. Unfortunately there is no widely accepted standard for specifying search, and each solver typically requires detailed knowledge in order to build complex searches. This makes the barrier to entry for exploring different search methods quite high. Furthermore, search is a core part of the solver and usually highly optimised. Any imposition on the solver writer to change this part of their system is significant. In this paper we investigate how powerful we can make a uniform language for meta-search without placing any burden on the solver writer. The key to this is to only interact with the solver when a solution is found. We present MINISEARCH, a meta-search language that can directly use any FLATZINC solver. Optionally, it can interact with solvers through an efficient C++ API. We illustrate the expressiveness of the language and performance using different solvers on a number of examples.",
author = "Andrea Rendl and Tias Guns and Stuckey, {Peter J.} and Guido Tack",
year = "2015",
doi = "10.1007/978-3-319-23219-5_27",
language = "English",
isbn = "9783319232188",
volume = "9255",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "376--392",
booktitle = "Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Proceedings",
address = "Germany",
note = "21st International Conference on the Principles and Practice of Constraint Programming, CP 2015 ; Conference date: 31-08-2015 Through 04-09-2015",
}