Fung, Long-Hin, Che Cheng, Jie-Hong Roland Jiang, Friedrich Slivovsky, and Tony Tan. 2026. “Model Counting for Dependency Quantified Boolean Formulas”. Proceedings of the AAAI Conference on Artificial Intelligence 40 (17):14234-42. https://doi.org/10.1609/aaai.v40i17.38437.