Timothy van Bremen
5 papers
· 2020–2022
· 3 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(3)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐣
Hot Topic Early Bird
🐝
Cross-Pollinator
(15)
Conferences
AAAI (2)
IJCAI (2)
UAI (1)
Top co-authors
Keywords
first-order logic
(4)
model counting
(3)
weighted model counting
(2)
probabilistic inference
(2)
markov logic network
(2)
knowledge compilation
(1)
discrete mathematics
(1)
graphical model
(1)
sampling algorithm
(1)
conflict-driven clause learning
(1)
clause learning
(1)
symmetry exploitation
(1)
model sampling
(1)
relational marginal polytope
(1)
component caching
(1)
combinatorial optimization
(1)
symmetric component
(1)
approximate inference
(1)
probabilistic logic
(1)
cardinality constraint
(1)