Conference Proceedings

MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc

Andrea Rendl, Tias Guns, Peter J Stuckey, Guido Tack, G Pesant

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | SPRINGER-VERLAG BERLIN | Published : 2015