Understanding and Extending Incremental Determinization for 2QBF.

Markus N. Rabe Leander Tentrup Cameron Rasmussen Sanjit A. Seshia

Published in: CoRR (2019)

Keyphrases

incremental learning
data driven
quantified boolean formulas
decision making
expert systems
database
case study