Auto-tabling for subproblem presolving in MiniZinc JJ Dekker, G Björdal, M Carlsson, P Flener, JN Monette Constraints 22 (4), 512-529, 2017 | 20 | 2017 |
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 | 16 | 2018 |
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 | 13 | 2020 |
Sub-problem pre-solving in MiniZinc JJ Dekker | 7 | 2016 |
Generating a Google Go framework from an Uppaal Model JJ Dekker Radboud University, 2014 | 3 | 2014 |
Coupling Different Integer Encodings for SAT H Bierlee, G Gange, G Tack, JJ Dekker, PJ Stuckey Integration of Constraint Programming, Artificial Intelligence, and …, 2022 | 1 | 2022 |
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 | | |