Authors Search About

Bremen, Timothy

1 publications

UAI 2021 Faster Lifting for Two-Variable Logic Using Cell Graphs Timothy Bremen, Ondřej Kuželka

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy