Our work Towards Practical First-Order Model Counting has been accepted to <a href="https://satisfiability.org/SAT25/">SAT 2025</a>. We extend the first-order model counting algorithm Crane with the ability to find the base cases of recursive functions and compile (recursive) function definitions into C++ programs. Authors: Ananth K. Kidambi, Guramrit Singh, Paulius Dilkas, and Kuldeep S. Meel

Name: Our work Towards Practical First-Order Model Counting has been accepted to SAT 2025 . We extend the first-order model counting algorithm Crane with the ability to find the base cases of recursive functions and compile (recursive) function definitions into C++ programs. Authors: Ananth K. Kidambi, Guramrit Singh, Paulius Dilkas, and Kuldeep S. Meel
Start: 2025-06-10T00:00:00-04:00

Date

Jun 10, 2025 12:00 AM

Meel Group

Department of Computer Science