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

Andrea Rendl, Tias Guns, Peter J. Stuckey, Guido Tack

Browse the full CP paper archive.