Jip J. Dekker

dblp:204/5900 · DBLP profile ↗
← Back
7ranked-venue papers
3as first author
6since 2021 · last 2025
0000-0002-0053-6724ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 7 · 3 first-author · 6 since 2021Software engineering, systems software and programming languages · 4 · 3 first-author · 3 since 2021
YearPublicationVenuePosition
2025 Towards Modern and Modular SAT for LCG (Short Paper)
Jip J. Dekker, Alexey Ignatiev, Peter J. Stuckey, Allen Z. Zhong
CP1
2025 Unit Types for MiniZinc
Jip J. Dekker, Jason Nguyen 0001, Peter J. Stuckey, Guido Tack
CP1
2025 Constraint-Based In-Station Train Dispatching
Andreas Schutt, Matteo Cardellini, Jip J. Dekker, Daniel Harabor, Marco Maratea, Mauro Vallati
CP3
2025 Revisiting Pseudo-Boolean Encodings from an Integer Perspective
Hendrik Bierlee, Jip J. Dekker, Peter J. Stuckey
CPAIOR (1)2
2024 Single Constant Multiplication for SAT
Hendrik Bierlee, Jip J. Dekker, Vitaly Lagoon, Peter J. Stuckey, Guido Tack
CPAIOR (1)2
2022 Coupling Different Integer Encodings for SAT
Hendrik Bierlee, Graeme Gange, Guido Tack, Jip J. Dekker, Peter J. Stuckey
CPAIOR4
2018 Solver-Independent Large Neighbourhood Search
Jip J. Dekker, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack
CP1