Jeremias Berg
Jeremias Berg
Affiliation: University of Helsinki
Pages in this Program
Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
Scuttle: A System for Multi-Objective MaxSAT
HitPBO: An Implicit Hitting Set Solver for Pseudo-Boolean Optimization
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑