PPaperPicks

Wietze Koops

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

DBLP profile ↗ORCID search ↗

Venues

CP ×2AAAI ×1AAMAS ×1IJCAI ×1

Frequent coauthors

Magnus O. Myreen
×3
Jakob Nordström
×3
Andy Oertel
×3
Yong Kiam Tan
×3
Sebastian Junges
×2
Nils Jansen
×2
Simon Dold
×1
George Katsirelos
×1
Markus Anders
×1
Bart Bogaerts
×1
Benjamin Bogø
×1
Arthur Gontier
×1

Papers

  1. End-to-End Certified Graph Colouring
    CP 2026 ·
    Simon Dold
    ,
    George Katsirelos
    , Wietze Koops,
    Magnus O. Myreen
    ,
    Jakob Nordström
    ,
    Andy Oertel
    ,
    Yong Kiam Tan
  2. Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables
    AAAI 2026 ·
    Markus Anders
    ,
    Bart Bogaerts
    ,
    Benjamin Bogø
    ,
    Arthur Gontier
    , Wietze Koops,
    Ciaran McCreesh
    ,
    Magnus O. Myreen
    ,
    Jakob Nordström
    ,
    Andy Oertel
    ,
    Adrian Rebola-Pardo
    ,
    Yong Kiam Tan
  3. Practically Feasible Proof Logging for Pseudo-Boolean Optimization
    CP 2025 · Wietze Koops,
    Daniel Le Berre
    ,
    Magnus O. Myreen
    ,
    Jakob Nordström
    ,
    Andy Oertel
    ,
    Yong Kiam Tan
    ,
    Marc Vinyals
  4. Tighter Value-Function Approximations for POMDPs
    AAMAS 2025 ·
    Merlijn Krale
    , Wietze Koops,
    Sebastian Junges
    ,
    Thiago D. Simão
    ,
    Nils Jansen
  5. Approximate Dec-POMDP Solving Using Multi-Agent A*
    IJCAI 2024 · Wietze Koops,
    Sebastian Junges
    ,
    Nils Jansen