Auto-tabling for subproblem presolving in MiniZinc. - Jip J. Dekker; Gustav Björdal; Mats Carlsson; Pierre Flener; Jean-Noël Monette (Constraints An Int. J., 2017)

Solver-Independent Large Neighbourhood Search. - Jip J. Dekker; Maria Garcia de la Banda; Andreas Schutt; Peter J. Stuckey; Guido Tack (CP, 2018)

Nutmeg: a MIP and CP Hybrid Solver Using Branch-and-Check. - Edward Lam 001; Graeme Gange; Peter J. Stuckey; Pascal Van Hentenryck; Jip J. Dekker (Oper. Res. Forum, 2020)

Coupling Different Integer Encodings for SAT. - Hendrik Bierlee; Graeme Gange; Guido Tack; Jip J. Dekker; Peter J. Stuckey (CPAIOR, 2022)

MiniZinc. - Guido Tack; Jip J. Dekker; Gleb Belov; Kevin Leo; Jason Nguyen; Peter J. Stuckey (Zenodo, 2022)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

Single Constant Multiplication for SAT. - Hendrik Bierlee; Jip J. Dekker; Vitaly Lagoon; Peter J. Stuckey; Guido Tack (CPAIOR (1), 2024)

Formal Explanations for Neuro-Symbolic AI. - Sushmita Paul; Jinqiang Yu; Jip J. Dekker; Alexey Ignatiev; Peter J. Stuckey (CoRR, 2024)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2024)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2024)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2024)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2024)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2024)

Towards Modern and Modular SAT for LCG (Short Paper). - Jip J. Dekker; Alexey Ignatiev; Peter J. Stuckey; Allen Z. Zhong (CP, 2025)

Unit Types for MiniZinc. - Jip J. Dekker; Jason Nguyen; Peter J. Stuckey; Guido Tack (CP, 2025)

Constraint-Based In-Station Train Dispatching. - Andreas Schutt; Matteo Cardellini; Jip J. Dekker; Daniel Harabor; Marco Maratea; Mauro Vallati (CP, 2025)

Revisiting Pseudo-Boolean Encodings from an Integer Perspective. - Hendrik Bierlee; Jip J. Dekker; Peter J. Stuckey (CPAIOR (1), 2025)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2025)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2025)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2025)