Anytime Weighted Model Counting with Approximation Guarantees for Probabilistic Inference.

Alexandre Dubray, Pierre Schaus, Siegfried Nijssen

Browse the full CP paper archive.