PPaperPicks

Konstantin Sidorov

4 papers at tracked venues · 1 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

CP ×3AAAI ×1

Frequent coauthors

Emir Demirovic
×3
Maarten Flippo
×1
Tip ten Brink
×1
Clément Pit-Claudel
×1
Imko Marijnissen
×1
Gonçalo Homem de Almeida Correia
×1
Mathijs de Weerdt
×1

Papers

  1. Formally Verified Certification of Constraint Programming Proofs
    CP 2026 ·
    Maarten Flippo
    , Konstantin Sidorov,
    Tip ten Brink
    ,
    Clément Pit-Claudel
    ,
    Emir Demirovic
  2. On Inferring Cumulative Constraints
    CP 2026 · Konstantin Sidorov
  3. Unite and Lead: Finding Disjunctive Cliques for Scheduling Problems
    CP 2025 · Konstantin Sidorov,
    Imko Marijnissen
    ,
    Emir Demirovic
  4. Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths
    AAAI 2024 · Konstantin Sidorov,
    Gonçalo Homem de Almeida Correia
    ,
    Mathijs de Weerdt
    ,
    Emir Demirovic