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
Beldiceanu, Nicolas; Carlsson, Mats; Demassey, Sophie; Petit, Thierry Global constraint catalogue: past, present and future. (English) Zbl 1128.68092 Constraints 12, No. 1, 21-62 (2007). Reviewer: Nicolae S. Mera (Leeds) MSC: 68T20 68R10 PDFBibTeX XMLCite \textit{N. Beldiceanu} et al., Constraints 12, No. 1, 21--62 (2007; Zbl 1128.68092) Full Text: DOI