Probabilistic Inference by Projected Weighted Model Counting on Horn Clauses.

Alexandre Dubray, Pierre Schaus, Siegfried Nijssen

Browse the full CP paper archive.