Timothy van Bremen

5 papers · 2020–2022 · 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 🌉 Interdisciplinary Bridge · Silver 🐣 Hot Topic Early Bird

Venues

AAAI (2) IJCAI (2) UAI (1)

Top co-authors

Ondrej Kuzelka (4) Yuanhong Wang (2) Yuyi Wang (2) Kuldeep S. Meel (1) shubham sharma (1) Vincent Derkinderen (1) Subhajit Roy (1) Juhua Pu (1)

Research topics

Machine Learning (4) Mathematics & Optimization (4) Optimization & Theory (4) Optimization (3) Artificial Intelligence (2) Computer Science (2) Foundations (2) Bayesian & Probabilistic (1) Core AI (1) Mathematics (1)

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 Fast Algorithms for Relational Marginal Polytopes IJCAI 2021 Faster lifting for two-variable logic using cell graphs UAI 2021 Symmetric Component Caching for Model Counting on Combinatorial Instances AAAI 2021 Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry IJCAI 2020