Dualizing Projected Model Counting.

Sibylle Mhle, Armin Biere

Browse the full ICTAI paper archive.