Fixed-Parameter Tractable Inference for Discrete Probabilistic Programs, via String Diagram Algebraisation.

Benedikt Peterseim, Milan Lopuha-Zwakenberg

Browse the full LICS paper archive.