Model Counting in the Wild

Arijit Shaw, Kuldeep S. Meel

Abstract: Model counting is a fundamental problem in automated reasoning with applications in probabilistic inference, network reliability, neural network verification, and more. Although model counting is c...