A Branch-and-Bound-Based Minterm Assignment Algorithm for Synthesizing Stochastic Circuit. - Peng, Xuesong; Qian, Weikang (2018)