PPaperPicks

Maarten Flippo

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

DBLP profile ↗ORCID search ↗

Venues

CP ×3AAAI ×1

Frequent coauthors

Emir Demirovic
×4
Konstantin Sidorov
×1
Tip ten Brink
×1
Clément Pit-Claudel
×1
Imko Marijnissen
×1
Ignace Bleukx
×1
Bart Bogaerts
×1
Tias Guns
×1
Robbin Baauw
×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. From Literals to Atomic Constraints: Generalising Conflict-Driven Clause Learning for Constraint Programming
    CP 2026 ·
    Imko Marijnissen
    , Maarten Flippo,
    Emir Demirovic
  3. Using Certifying Constraint Solvers for Generating Step-wise Explanations
    AAAI 2026 ·
    Ignace Bleukx
    , Maarten Flippo,
    Bart Bogaerts
    ,
    Emir Demirovic
    ,
    Tias Guns
  4. Conflict Analysis Based on Cutting-Planes for Constraint Programming
    CP 2025 ·
    Robbin Baauw
    , Maarten Flippo,
    Emir Demirovic