Timothy van Bremen
发表
Jean Christoph Jung,
Anton Dries,
Timothy van Bremen,
2019,
CIKM.
Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry
pdf
Ondrej Kuzelka,
Timothy van Bremen,
Ondřej Kuželka,
2020,
IJCAI.
Ondrej Kuzelka,
Timothy van Bremen,
2020,
IJCAI.
Timothy van Bremen,
Ondřej Kuželka,
Ondřej Kuželka,
2021,
UAI.
Ondrej Kuzelka,
Timothy van Bremen,
Ondřej Kuželka,
2021,
KR.
Juhua Pu,
Ondrej Kuzelka,
Timothy van Bremen,
2021,
IJCAI.
Kuldeep S. Meel,
Timothy van Bremen,
Subhajit Roy,
2021,
AAAI.
Timothy van Bremen,
Yuyi Wang,
Yuanhong Wang,
2022,
AAAI.