150 citations · 275 across the 41 of their papers we have counts for
1 paper · 2 filters
Mikolas Janota, Radu Grigore, Joao Marques-Silva
QBFs (quantified boolean formulas), which are a superset of propositional formulas, provide a canonical representation for PSPACE problems. To overcome the inherent complexity of Q…