Dekker, Jip J.; Björdal, Gustav; Carlsson, Mats; Flener, Pierre; Monette, Jean-Noël Auto-tabling for subproblem presolving in MiniZinc. (English) Zbl 1425.68386 Constraints 22, No. 4, 512-529 (2017). MSC: 68T20 90C27 PDFBibTeX XMLCite \textit{J. J. Dekker} et al., Constraints 22, No. 4, 512--529 (2017; Zbl 1425.68386) Full Text: DOI
Björdal, Gustav; Monette, Jean-Noël; Flener, Pierre; Pearson, Justin A constraint-based local search backend for MiniZinc. (English) Zbl 1325.90076 Constraints 20, No. 3, 325-345 (2015). MSC: 90C27 PDFBibTeX XMLCite \textit{G. Björdal} et al., Constraints 20, No. 3, 325--345 (2015; Zbl 1325.90076) Full Text: DOI