Fung, L.-H.; Cheng, C.; Jiang, J.-H. R.; Slivovsky, F.; Tan, T. Model Counting for Dependency Quantified Boolean Formulas. AAAI 2026, 40, 14234-14242.