1 paper
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…