PPaperPicks

André Schidler

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2ICML ×1

Frequent coauthors

Jeremias Berg
×2
Matti Järvisalo
×2
Hannes Ihalainen
×1
Dieter Vandesande
×1
Bart Bogaerts
×1
Christian Komusiewicz
×1
Frank Sommer
×1
Manuel Sorge
×1
Luca Pascal Staus
×1

Papers

  1. Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
    AAAI 2026 ·
    Hannes Ihalainen
    ,
    Dieter Vandesande
    , André Schidler,
    Jeremias Berg
    ,
    Bart Bogaerts
    ,
    Matti Järvisalo
  2. Ordered Objectives in Maximum Satisfiability
    AAAI 2026 ·
    Jeremias Berg
    , André Schidler,
    Matti Järvisalo
  3. Learning Minimum-Size BDDs: Towards Efficient Exact Algorithms
    ICML 2025 ·
    Christian Komusiewicz
    , André Schidler,
    Frank Sommer
    ,
    Manuel Sorge
    ,
    Luca Pascal Staus