Preprocessing for Propositional Model Counting

Jean-Marie Lagniez, Pierre Marquis. Preprocessing for Propositional Model Counting. In Carla E. Brodley, Peter Stone, editors, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada. pages 2688-2694, AAAI Press, 2014. [doi]

Abstract

Abstract is missing.