6 citations · 12 across the 10 of their papers we have counts for
1 paper · 1 filter
Friedrich Slivovsky, Stefan Szeider
The alternation of existential and universal quantifiers in a quantified boolean formula (QBF) generates dependencies among variables that must be respected when evaluating the for…