(1)
Lagniez, J.-M.; Marquis, P. Preprocessing for Propositional Model Counting. AAAI 2014, 28.