An Improved CNF Encoding Scheme for Probabilistic Inference.

Anicet Bart, Frdric Koriche, Jean-Marie Lagniez, Pierre Marquis

Browse the full ECAI paper archive.