Jorke de Vlas
PhD student
Publications
2026
Maximum Satisfiability of Simple Temporal Problems
Proceedings of the 35th International Joint Conference on Artificial Intelligence
(Conference paper)
2024
On the Complexity of Integer Programming with Fixed-Coefficient Scaling
30TH INTERNATIONAL CONFERENCE ON PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2024, Article 35
(Conference paper)
https://dx.doi.org/10.4230/LIPIcs.CP.2024.35
On the Parameterized Complexity of the Perfect Phylogeny Problem
SOFSEM 2024: THEORY AND PRACTICE OF COMPUTER SCIENCE, p. 169-182
(Conference paper)
https://dx.doi.org/10.1007/978-3-031-52113-3_12