Paulius Dilkas | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Vaishak Belle
44 publications

research

∙ 06/07/2023

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

First-order model counting (FOMC) is a computational problem that asks t...

0 Paulius Dilkas, et al. ∙

research

∙ 06/02/2020

Generating Random Logic Programs Using Constraint Programming

Testing algorithms across a wide range of problem instances is crucial t...

7 Paulius Dilkas, et al. ∙