Weighted model counting with conditional weights for Bayesian networks P Dilkas, V Belle Uncertainty in Artificial Intelligence, 386-396, 2021 | 10 | 2021 |
Weighted model counting without parameter variables P Dilkas, V Belle Theory and Applications of Satisfiability Testing–SAT 2021: 24th …, 2021 | 7 | 2021 |
Generating random logic programs using constraint programming P Dilkas, V Belle Principles and Practice of Constraint Programming: 26th International …, 2020 | 6 | 2020 |
Generalising weighted model counting P Dilkas The University of Edinburgh, 2023 | 2 | 2023 |
Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures P Dilkas, V Belle arXiv preprint arXiv:2306.04189, 2023 | 1 | 2023 |
Algorithm selection for maximum common subgraph P Dilkas Bachelor’s thesis, University of Glasgow, 2018 | 1 | 2018 |
Generating Random Instances of Weighted Model Counting: An Empirical Analysis with Varying Primal Treewidth P Dilkas International Conference on Integration of Constraint Programming …, 2023 | | 2023 |