2-DQBF Solving and Certification via Property-Directed Reachability Analysis | IEEE Conference Publication | IEEE Xplore