PPaperPicks

Jeremias Berg

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2CP ×2

Frequent coauthors

Matti Järvisalo
×3
Hannes Ihalainen
×2
André Schidler
×2
Bart Bogaerts
×2
Dieter Vandesande
×1
Ole Lübke
×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. SLS-Enhanced Core-Boosted Linear Search for Anytime Maximum Satisfiability
    CP 2025 ·
    Ole Lübke
    , Jeremias Berg
  4. Symmetric Core Learning for Pseudo-Boolean Optimization by Implicit Hitting Sets
    CP 2025 ·
    Hannes Ihalainen
    , Jeremias Berg,
    Matti Järvisalo
    ,
    Bart Bogaerts