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
202017
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
172018
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
142020
Sub-problem pre-solving in MiniZinc
JJ Dekker
72016
MiniZinc Python
JJ Dekker
https://github.com/MiniZinc/minizinc-python, 2023
3*2023
Generating a Google Go framework from an Uppaal Model
JJ Dekker
Radboud University, 2014
22014
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 Protocol to Determine Circadian Phase by At‐Home Salivary Dim Light Melatonin Onset Assessment
JM Murray, JE Stone, SM Abbott, B Bjorvatn, HJ Burgess, C Cajochen, ...
Journal of Pineal Research 76 (5), e12994, 2024
2024
Single Constant Multiplication for SAT
H Bierlee, JJ Dekker, V Lagoon, PJ Stuckey, G Tack
International Conference on the Integration of Constraint Programming …, 2024
2024
A Modern Architecture for Constraint Modelling Languages
JJ Dekker
Monash University, 2021
2021
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–11