Jip J. Dekker
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
2
Active years
2018–2025
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CP | Towards Modern and Modular SAT for LCG (Short Paper). | Jip J. Dekker, Alexey Ignatiev, Peter J. Stuckey, Allen Z. Zhong |
| 2025 | CP | Unit Types for MiniZinc. | Jip J. Dekker, Jason Nguyen, Peter J. Stuckey, Guido Tack |
| 2025 | CP | Constraint-Based In-Station Train Dispatching. | Andreas Schutt, Matteo Cardellini, Jip J. Dekker, Daniel Harabor, Marco Maratea, Mauro Vallati |
| 2025 | CPAIOR | Revisiting Pseudo-Boolean Encodings from an Integer Perspective. | Hendrik Bierlee, Jip J. Dekker, Peter J. Stuckey |
| 2024 | CPAIOR | Single Constant Multiplication for SAT. | Hendrik Bierlee, Jip J. Dekker, Vitaly Lagoon, Peter J. Stuckey, Guido Tack |
| 2022 | CPAIOR | Coupling Different Integer Encodings for SAT. | Hendrik Bierlee, Graeme Gange, Guido Tack, Jip J. Dekker, Peter J. Stuckey |
| 2018 | CP | Solver-Independent Large Neighbourhood Search. | Jip J. Dekker, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack |