Fung, L.-H., Cheng, C., Jiang, J.-H. R., Slivovsky, F., & Tan, T. (2026). Model Counting for Dependency Quantified Boolean Formulas. Proceedings of the AAAI Conference on Artificial Intelligence, 40(17), 14234–14242. https://doi.org/10.1609/aaai.v40i17.38437