Generating Random Logic Programs Using Constraint Programming. - Paulius Dilkas; Vaishak Belle (CP, 2020)

Weighted Model Counting Without Parameter Variables. - Paulius Dilkas; Vaishak Belle (SAT, 2021)

Weighted model counting with conditional weights for Bayesian networks. - Paulius Dilkas; Vaishak Belle (UAI, 2021)

Generating Random Instances of Weighted Model Counting - An Empirical Analysis with Varying Primal Treewidth. - Paulius Dilkas (CPAIOR, 2023)

Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures. - Paulius Dilkas; Vaishak Belle (KR, 2023)

Mapping the Neuro-Symbolic AI Landscape by Architectures: A Handbook on Augmenting Deep Learning Through Symbolic Reasoning. - Jonathan Feldstein; Paulius Dilkas; Vaishak Belle; Efthymia Tsamoura (CoRR, 2024)

Towards Practical First-Order Model Counting. - Ananth K. Kidambi; Guramrit Singh; Paulius Dilkas; Kuldeep S. Meel (SAT, 2025)