Towards Practical First-Order Model Counting.

Ananth K. Kidambi, Guramrit Singh, Paulius Dilkas, Kuldeep S. Meel

Browse the full SAT paper archive.