Auto-tabling for subproblem presolving in MiniZinc

Jip J. Dekker, Gustav Björdal, Mats Carlsson, Pierre Flener, Jean-Noël Monette. Auto-tabling for subproblem presolving in MiniZinc. Constraints, 22(4):512-529, 2017. [doi]

Abstract

Abstract is missing.