Timothy van Bremen
5 papers · 2020–2022 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
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)
Papers
Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions
AAAI 2022
Symmetric Component Caching for Model Counting on Combinatorial Instances
AAAI 2021
Fast Algorithms for Relational Marginal Polytopes
IJCAI 2021
Faster lifting for two-variable logic using cell graphs
UAI 2021
Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry
IJCAI 2020