Jeremias Berg
7 papers · 2014–2026 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
๐ Conference Polyglot (2) ๐ Academic Marathon (9) ๐ Interdisciplinary Bridge ๐งญ Keyword Pioneer ๐ฃ Hot Topic Early Bird
๐
Cross-Pollinator
(15)
Conferences
IJCAI (4)
AAAI (2)
AISTATS (1)
Top co-authors
Keywords
combinatorial optimization
(5)
maximum satisfiability
(4)
implicit hitting set
(3)
sat solver
(2)
constraint satisfaction
(1)
integer programming
(1)
answer set programming
(1)
bayesian network
(1)
binary decision diagram
(1)
np-hard problem
(1)
stochastic local search
(1)
core-guided approach
(1)
abstract core
(1)
pseudo-boolean optimization
(1)
potential maximal clique
(1)
ordered objective
(1)
structure learning
(1)
probabilistic inference
(1)
boolean satisfiability
(1)
Papers
Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
AAAI 2026
Ordered Objectives in Maximum Satisfiability
AAAI 2026
Unifying Core-Guided and Implicit Hitting Set Based Optimization
IJCAI 2023
Abstract Cores in Implicit Hitting Set MaxSat Solving (Extended Abstract)
IJCAI 2021
Enumerating Potential Maximal Cliques via SAT and ASP
IJCAI 2019
Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT
IJCAI 2015
Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability
AISTATS 2014