Paulius Dilkas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2020–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SAT | Towards Practical First-Order Model Counting. | Ananth K. Kidambi, Guramrit Singh, Paulius Dilkas, Kuldeep S. Meel |
| 2023 | CPAIOR | Generating Random Instances of Weighted Model Counting - An Empirical Analysis with Varying Primal Treewidth. | Paulius Dilkas |
| 2023 | KR | Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures. | Paulius Dilkas, Vaishak Belle |
| 2021 | UAI | Weighted model counting with conditional weights for Bayesian networks. | Paulius Dilkas, Vaishak Belle |
| 2021 | SAT | Weighted Model Counting Without Parameter Variables. | Paulius Dilkas, Vaishak Belle |
| 2020 | CP | Generating Random Logic Programs Using Constraint Programming. | Paulius Dilkas, Vaishak Belle |