Auto-tabling for subproblem presolving in MiniZinc.

Jip J. Dekker Gustav Björdal Mats Carlsson Pierre Flener Jean-Noël Monette

Published in: Constraints An Int. J. (2017)

Keyphrases

logic programming
dynamic programming
integer programming
global constraints
integer program
logic programming language
machine learning
image processing
reinforcement learning
natural language
image retrieval
evolutionary algorithm
wireless sensor networks
knowledge representation
logic programs