We stand with Ukraine  

Jip J. Dekker

Orcid: 0000-0002-0053-6724

According to our database1, Jip J. Dekker authored at least 29 papers between 2017 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
MiniZinc.
[BibTeX]
[DOI]
Guido Tack
,
Jip J. Dekker
,
Kevin Leo
,
Gleb Belov
,
Jason Nguyen
,
Maria Garcia de la Banda
,
Peter J. Stuckey
Dataset, March, 2025

MiniZinc.
[BibTeX]
[DOI]
Guido Tack
,
Jip J. Dekker
,
Kevin Leo
,
Gleb Belov
,
Jason Nguyen
,
Maria Garcia de la Banda
,
Peter J. Stuckey
Dataset, March, 2025

MiniZinc.
[BibTeX]
[DOI]
Guido Tack
,
Jip J. Dekker
,
Kevin Leo
,
Gleb Belov
,
Jason Nguyen
,
Maria Garcia de la Banda
,
Peter J. Stuckey
Dataset, February, 2025

Revisiting Pseudo-Boolean Encodings from an Integer Perspective.
[BibTeX]
[DOI]
Hendrik Bierlee
,
Jip J. Dekker
,
Peter J. Stuckey
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2025

Constraint-Based In-Station Train Dispatching.
[BibTeX]
[DOI]
Andreas Schutt
,
Matteo Cardellini
,
Jip J. Dekker
,
Daniel Harabor
,
Marco Maratea
,
Mauro Vallati
Proceedings of the 31st International Conference on Principles and Practice of Constraint Programming, 2025

Unit Types for MiniZinc.
[BibTeX]
[DOI]
Jip J. Dekker
,
Jason Nguyen
,
Peter J. Stuckey
,
Guido Tack
Proceedings of the 31st International Conference on Principles and Practice of Constraint Programming, 2025

Towards Modern and Modular SAT for LCG (Short Paper).
[BibTeX]
[DOI]
Jip J. Dekker
,
Alexey Ignatiev
,
Peter J. Stuckey
,
Allen Z. Zhong
Proceedings of the 31st International Conference on Principles and Practice of Constraint Programming, 2025

2024
MiniZinc.
[BibTeX]
[DOI]
Guido Tack
,
Jip J. Dekker
,
Kevin Leo
,
Gleb Belov
,
Jason Nguyen
,
Maria Garcia de la Banda
,
Peter J. Stuckey
Dataset, October, 2024

MiniZinc.
[BibTeX]
[DOI]
Guido Tack
,
Jip J. Dekker
,
Kevin Leo
,
Gleb Belov
,
Jason Nguyen
,
Maria Garcia de la Banda
,
Peter J. Stuckey
Dataset, September, 2024

MiniZinc.
[BibTeX]
[DOI]
Guido Tack
,
Jip J. Dekker
,
Kevin Leo
,
Gleb Belov
,
Jason Nguyen
,
Maria Garcia de la Banda
,
Peter J. Stuckey
Dataset, June, 2024

MiniZinc.
[BibTeX]
[DOI]
Guido Tack
,
Jip J. Dekker
,
Kevin Leo
,
Gleb Belov
,
Jason Nguyen
,
Maria Garcia de la Banda
,
Peter J. Stuckey
Dataset, May, 2024

MiniZinc.
[BibTeX]
[DOI]
Guido Tack
,
Jip J. Dekker
,
Kevin Leo
,
Gleb Belov
,
Jason Nguyen
,
Maria Garcia de la Banda
,
Peter J. Stuckey
Dataset, February, 2024

Formal Explanations for Neuro-Symbolic AI.
[BibTeX]
[DOI]
Sushmita Paul
,
Jinqiang Yu
,
Jip J. Dekker
,
Alexey Ignatiev
,
Peter J. Stuckey
CoRR, 2024

Single Constant Multiplication for SAT.
[BibTeX]
[DOI]
Hendrik Bierlee
,
Jip J. Dekker
,
Vitaly Lagoon
,
Peter J. Stuckey
,
Guido Tack
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2024

2023
MiniZinc.
[BibTeX]
[DOI]
Guido Tack
,
Jip J. Dekker
,
Kevin Leo
,
Gleb Belov
,
Jason Nguyen
,
Maria Garcia de la Banda
,
Peter J. Stuckey
Dataset, December, 2023

MiniZinc.
[BibTeX]
[DOI]
Guido Tack
,
Jip J. Dekker
,
Kevin Leo
,
Gleb Belov
,
Jason Nguyen
,
Maria Garcia de la Banda
,
Peter J. Stuckey
Dataset, November, 2023

MiniZinc.
[BibTeX]
[DOI]
Guido Tack
,
Jip J. Dekker
,
Kevin Leo
,
Gleb Belov
,
Jason Nguyen
,
Maria Garcia de la Banda
,
Peter J. Stuckey
Dataset, November, 2023

MiniZinc.
[BibTeX]
[DOI]
Guido Tack
,
Jip J. Dekker
,
Kevin Leo
,
Gleb Belov
,
Jason Nguyen
,
Maria Garcia de la Banda
,
Peter J. Stuckey
Dataset, June, 2023

MiniZinc.
[BibTeX]
[DOI]
Guido Tack
,
Jip J. Dekker
,
Kevin Leo
,
Gleb Belov
,
Jason Nguyen
,
Maria Garcia de la Banda
,
Peter J. Stuckey
Dataset, June, 2023

MiniZinc.
[BibTeX]
[DOI]
Guido Tack
,
Jip J. Dekker
,
Kevin Leo
,
Gleb Belov
,
Jason Nguyen
,
Maria Garcia de la Banda
,
Peter J. Stuckey
Dataset, May, 2023

MiniZinc.
[BibTeX]
[DOI]
Guido Tack
,
Jip J. Dekker
,
Kevin Leo
,
Gleb Belov
,
Jason Nguyen
,
Maria Garcia de la Banda
,
Peter J. Stuckey
Dataset, April, 2023

MiniZinc.
[BibTeX]
[DOI]
Guido Tack
,
Jip J. Dekker
,
Kevin Leo
,
Gleb Belov
,
Jason Nguyen
,
Maria Garcia de la Banda
,
Peter J. Stuckey
Dataset, April, 2023

MiniZinc.
[BibTeX]
[DOI]
Guido Tack
,
Jip J. Dekker
,
Kevin Leo
,
Gleb Belov
,
Jason Nguyen
,
Maria Garcia de la Banda
,
Peter J. Stuckey
Dataset, March, 2023

MiniZinc.
[BibTeX]
[DOI]
Guido Tack
,
Jip J. Dekker
,
Kevin Leo
,
Gleb Belov
,
Jason Nguyen
,
Maria Garcia de la Banda
,
Peter J. Stuckey
Dataset, February, 2023

2022
MiniZinc.
[BibTeX]
[DOI]
Guido Tack
,
Jip J. Dekker
,
Gleb Belov
,
Kevin Leo
,
Jason Nguyen
,
Peter J. Stuckey
Dataset, June, 2022

Coupling Different Integer Encodings for SAT.
[BibTeX]
[DOI]
Hendrik Bierlee
,
Graeme Gange
,
Guido Tack
,
Jip J. Dekker
,
Peter J. Stuckey
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2022

2020
Nutmeg: a MIP and CP Hybrid Solver Using Branch-and-Check.
[BibTeX]
[DOI]
Edward Lam
,
Graeme Gange
,
Peter J. Stuckey
,
Pascal Van Hentenryck
,
Jip J. Dekker
Oper. Res. Forum, 2020

2018
Solver-Independent Large Neighbourhood Search.
[BibTeX]
[DOI]
Jip J. Dekker
,
Maria Garcia de la Banda
,
Andreas Schutt
,
Peter J. Stuckey
,
Guido Tack
Proceedings of the Principles and Practice of Constraint Programming, 2018

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


  Loading...