Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty.

Nian-Ze Lee, Jie-Hong R. Jiang

Browse the full AAAI paper archive.