Towards Practical First-Order Model Counting

Open in new window