Dynamic Blocked Clause Elimination for Projected Model Counting

Jean-Marie Lagniez, Pierre Marquis, Armin Biere

In this paper, we explore the application of blocked clause elimination for projected model counting. This is the problem of determining the number of models ||\exists X.Σ|| of a p…