ASPPLN: Accelerated Symbolic Probability Propagation in Logic Network

Published in IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2022

A linear-complexity symbolic probability propagation algorithm for logic networks.