L.-H. Fung, C. Cheng, J.-H. R. Jiang, F. Slivovsky, and T. Tan, “Model Counting for Dependency Quantified Boolean Formulas”, AAAI, vol. 40, no. 17, pp. 14234–14242, Mar. 2026.