Understanding and Extending Incremental Determinization for 2QBF

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-96142-2_17 ◽

2018 ◽

pp. 256-274 ◽

Author(s):

Markus N. Rabe ◽

Leander Tentrup ◽

Cameron Rasmussen ◽

Sanjit A. Seshia

Download Full-text