Unifying Decision and Function Queries in Stochastic Boolean Satisfiability.

Yu-Wei Fan, Jie-Hong R. Jiang

Browse the full AAAI paper archive.