2-DQBF Solving and Certification via Property-Directed Reachability Analysis.

Long-Hin Fung, Che Cheng, Yu-Wei Fan, Tony Tan, Jie-Hong Roland Jiang

Browse the full FMCAD paper archive.