Paulius Dilkas

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 7

Top Topics

Top Venues

Publications

Paulius Dilkas, Vaishak Belle
Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures. KR (2023)
Paulius Dilkas
Generating Random Instances of Weighted Model Counting - An Empirical Analysis with Varying Primal Treewidth. CPAIOR (2023)
Paulius Dilkas, Vaishak Belle
Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures. CoRR (2023)
Paulius Dilkas, Vaishak Belle
Weighted model counting with conditional weights for Bayesian networks. UAI (2021)
Paulius Dilkas, Vaishak Belle
Weighted Model Counting Without Parameter Variables. SAT (2021)
Paulius Dilkas, Vaishak Belle
Generating Random Logic Programs Using Constraint Programming. CP (2020)
Paulius Dilkas, Vaishak Belle
Generating Random Logic Programs Using Constraint Programming. CoRR (2020)