Jeremias Berg
7 papers · 2014–2026 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Half
🌉
Interdisciplinary Bridge · Bronze
🐣
Hot Topic Early Bird
🏆
Keyword Champion
(3)
Venues
Top co-authors
Research topics
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