Unifying Decision and Function Queries in Stochastic Boolean Satisfiability

Direct Link