Jeremias Berg
7 papers
· 2014–2026
· 3 conferences
· across top CS/AI conferences
Achievements
π
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)