Jip J. Dekker

Orcid: 0000-0002-0053-6724

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

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

2024

2023










2022

Coupling Different Integer Encodings for SAT.
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.
Oper. Res. Forum, 2020

2018
Solver-Independent Large Neighbourhood Search.
Proceedings of the Principles and Practice of Constraint Programming, 2018

2017
Auto-tabling for subproblem presolving in MiniZinc.
Constraints An Int. J., 2017


  Loading...