Jip J. Dekker

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 5

Top Topics

Neighbourhood Search

Propositional Satisfiability

Top Venues

Oper. Res. Forum

Constraints An Int. J.

Publications

Hendrik Bierlee, Jip J. Dekker, Vitaly Lagoon, Peter J. Stuckey, Guido Tack
Single Constant Multiplication for SAT. CPAIOR (1) (2024)
Hendrik Bierlee, Graeme Gange, Guido Tack, Jip J. Dekker, Peter J. Stuckey
Coupling Different Integer Encodings for SAT. CPAIOR (2022)
Edward Lam, Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck, Jip J. Dekker
Nutmeg: a MIP and CP Hybrid Solver Using Branch-and-Check. Oper. Res. Forum 1 (3) (2020)
Jip J. Dekker, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack
Solver-Independent Large Neighbourhood Search. CP (2018)
Jip J. Dekker, Gustav Björdal, Mats Carlsson, Pierre Flener, Jean-Noël Monette
Auto-tabling for subproblem presolving in MiniZinc. Constraints An Int. J. 22 (4) (2017)