van Bremen, Timothy

4 publications

AAAI 2022 Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions Yuanhong Wang, Timothy van Bremen, Yuyi Wang, Ondrej Kuzelka

IJCAI 2021 Fast Algorithms for Relational Marginal Polytopes Yuanhong Wang, Timothy van Bremen, Juhua Pu, Yuyi Wang, Ondrej Kuzelka

AAAI 2021 Symmetric Component Caching for Model Counting on Combinatorial Instances Timothy van Bremen, Vincent Derkinderen, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel

IJCAI 2020 Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry Timothy van Bremen, Ondrej Kuzelka