Paulius Dilkas

According to our database, Paulius Dilkas authored at least 5 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures.

Paulius Dilkas, Vaishak Belle

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Generating Random Instances of Weighted Model Counting - An Empirical Analysis with Varying Primal Treewidth.

Paulius Dilkas

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2023

2021

Weighted model counting with conditional weights for Bayesian networks.

Paulius Dilkas, Vaishak Belle

Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence, 2021

Weighted Model Counting Without Parameter Variables.

Paulius Dilkas, Vaishak Belle

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

2020

Generating Random Logic Programs Using Constraint Programming.

Paulius Dilkas, Vaishak Belle

Proceedings of the Principles and Practice of Constraint Programming, 2020