PPaperPicks

Luca Pascal Staus

2 papers at tracked venues · 2 at CORE A* · active 2025–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1ICML ×1

Frequent coauthors

Christian Komusiewicz
×2
Frank Sommer
×2
Manuel Sorge
×2
André Schidler
×1

Papers

  1. Learning Minimum-Size BDDs: Towards Efficient Exact Algorithms
    ICML 2025 ·
    Christian Komusiewicz
    ,
    André Schidler
    ,
    Frank Sommer
    ,
    Manuel Sorge
    , Luca Pascal Staus
  2. Witty: An Efficient Solver for Computing Minimum-Size Decision Trees
    AAAI 2025 · Luca Pascal Staus,
    Christian Komusiewicz
    ,
    Frank Sommer
    ,
    Manuel Sorge