On the Complexity of k-DQBF. - Long-Hin Fung; Tony Tan (SAT, 2023)

2-DQBF Solving and Certification via Property-Directed Reachability Analysis. - Long-Hin Fung; Che Cheng; Yu-Wei Fan; Tony Tan; Jie-Hong Roland Jiang (FMCAD, 2024)

Fine-Grained Complexity Analysis of Dependency Quantified Boolean Formulas. - Che Cheng; Long-Hin Fung; Jie-Hong Roland Jiang; Friedrich Slivovsky; Tony Tan (SAT, 2025)