Follow
Jip J. Dekker
Title
Cited by
Cited by
Year
Auto-tabling for subproblem presolving in MiniZinc
JJ Dekker, G Björdal, M Carlsson, P Flener, JN Monette
Constraints 22 (4), 512-529, 2017
192017
Solver-independent large neighbourhood search
JJ Dekker, MG De La Banda, A Schutt, PJ Stuckey, G Tack
International Conference on Principles and Practice of Constraint …, 2018
152018
Nutmeg: a MIP and CP hybrid solver using branch-and-check
E Lam, G Gange, PJ Stuckey, P Van Hentenryck, JJ Dekker
SN Operations Research Forum 1, 1-27, 2020
122020
Sub-problem pre-solving in MiniZinc
JJ Dekker
72016
Generating a Google Go framework from an Uppaal Model
JJ Dekker
Radboud University, 2014
32014
Coupling Different Integer Encodings for SAT
H Bierlee, G Gange, G Tack, JJ Dekker, PJ Stuckey
Integration of Constraint Programming, Artificial Intelligence, and …, 2022
12022
A Modern Architecture for Constraint Modelling Languages
JJ Dekker
Monash University, 2021
2021
Single Constant Multiplication for SAT
H Bierlee, JJ Dekker, V Lagoon, PJ Stuckey, G Tack
An Abstract Machine Model for MiniZinc
JJ Dekker, A Schutt, MG de la Banda, G Gange, PJ Stuckey, G Tack
The system can't perform the operation now. Try again later.
Articles 1–9