Model Counting for Dependency Quantified Boolean Formulas.

Long-Hin Fung, Che Cheng, Jie-Hong Roland Jiang, Friedrich Slivovsky, Tony Tan

Browse the full AAAI paper archive.