Laarman, Alfons W.

1 publications

PGM 2018 Parallel Probabilistic Inference by Weighted Model Counting Giso H. Dal, Alfons W. Laarman, Peter J.F. Lucas