most citedGenerating Random Logic Programs Using Constraint Programming

2 citations · 2 across the 1 of their papers we have counts for

collaborators
Showing cs.LOShow all

2 papers · 1 filter

cs.LO2025

Towards Practical First-Order Model Counting

Ananth K. Kidambi, Guramrit Singh, Paulius Dilkas +1

First-order model counting (FOMC) is the problem of counting the number of models of a sentence in first-order logic. Since lifted inference techniques rely on reductions to varian…

cs.LO2020★ 2 cited

Generating Random Logic Programs Using Constraint Programming

Paulius Dilkas, Vaishak Belle

Testing algorithms across a wide range of problem instances is crucial to ensure the validity of any claim about one algorithm's superiority over another. However, when it comes to…