Francqui 2a Introduction to Probabilistic Inference via SAT, Knowledge Compilation

From Luc De Raedt