PPaperPicks

Jeremias Berg

2 papers at tracked venues · 2 at CORE A* · active 20262026

Venues

Frequent coauthors

Papers

  1. Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
  2. Ordered Objectives in Maximum Satisfiability
    AAAI 2026 · Jeremias Berg