Publications

2025

  1. Unite and Lead: Finding Disjunctive Cliques for Scheduling Problems
    Konstantin Sidorov, Imko Marijnissen, and Emir Demirović
    In 31st International Conference on Principles and Practice of Constraint Programming (CP 2025), 2025
    DOI

2024

  1. A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers
    Maarten Flippo, Konstantin Sidorov, Imko Marijnissen, and 2 more authors
    In 30th International Conference on Principles and Practice of Constraint Programming (CP 2024), 2024
    DOI

2023

  1. Master Thesis: Towards the unification of the Core-Guided and Hitting Set Maximum Satisfiability approaches
    Imko Marijnissen
    2023

2021

  1. Bachelor Thesis: Solving Cluster Editing Using MaxSAT-based Techniques
    Imko Marijnissen
    2021