[1]
J.-M. Lagniez and P. Marquis, “Preprocessing for Propositional Model Counting”, AAAI, vol. 28, no. 1, Jun. 2014.