PPaperPicks

Jakob Nordström

6 papers at tracked venues · 2 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

CP ×3AAAI ×2ICAPS ×1

Frequent coauthors

Andy Oertel
×5
Yong Kiam Tan
×5
Magnus O. Myreen
×4
Wietze Koops
×3
Ciaran McCreesh
×3
Simon Dold
×2
George Katsirelos
×1
Markus Anders
×1
Bart Bogaerts
×1
Benjamin Bogø
×1
Arthur Gontier
×1
Adrian Rebola-Pardo
×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. Proof Logging for Projected Enumeration (and Counting?) Problems in VeriPB
    CP 2026 ·
    Ciaran McCreesh
    , Jakob Nordström,
    Andy Oertel
    ,
    Yong Kiam Tan
  4. 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
  5. Pseudo-Boolean Proof Logging for Optimal Classical Planning
    ICAPS 2025 ·
    Simon Dold
    ,
    Malte Helmert
    , Jakob Nordström,
    Gabriele Röger
    ,
    Tanja Schindler
  6. End-to-End Verification for Subgraph Solving
    AAAI 2024 ·
    Stephan Gocht
    ,
    Ciaran McCreesh
    ,
    Magnus O. Myreen
    , Jakob Nordström,
    Andy Oertel
    ,
    Yong Kiam Tan