Unifying Decision and Function Queries in Stochastic Boolean SatisfiabilityDirect LinkShare on Twitter Facebook LinkedIn Previous Next