Applying Boolean discrete methods in the production of a real-valued probabilistic programming model. - Jonathan Darren Nix (CoRR, 2016)