CSiSAT: A satisfiability solver for SMT formulas with continuous probability distributions | IEEE Conference Publication | IEEE Xplore