Return to File:Qian Riedel Bazargan Lilja Synthesizing Combinational Logic to Generate Probabilities Theories and Algorithms.pdf.