Dynamic Blocked Clause Elimination for Projected Model Counting.

Jean-Marie Lagniez, Pierre Marquis, Armin Biere

Browse the full SAT paper archive.