Davide Bizzaro

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Anti Unification

Logical Representation

Quantifier Elimination

Geometric Constraints

Top Venues

Publications

Davide Bizzaro, Luciano Serafini, Sagar Malhotra
Towards Counting Markov Equivalence Classes with Logical Constraints. CoRR (2024)
Sagar Malhotra, Davide Bizzaro, Luciano Serafini
Lifted Inference beyond First-Order Logic. CoRR (2023)