Sign in

A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving.

Christoph SchollJie-Hong Roland JiangRalf WimmerAile Ge-Ernst
Published in: AAAI (2019)
Keyphrases
  • quantified boolean formulas
  • machine learning
  • decision procedures
  • artificial intelligence
  • np complete
  • orders of magnitude