Long-Hin Fung, Che Cheng, Yu-Wei Fan, Tony Tan, Jie-Hong Roland Jiang. 2-DQBF Solving and Certification via Property-Directed Reachability Analysis. In Nina Narodytska, Philipp Rümmer, editors, Formal Methods in Computer-Aided Design, FMCAD 2024, Prague, Czech Republic, October 15-18, 2024. pages 197-207, IEEE, 2024. [doi]
Abstract is missing.