1 citations · 1 across the 6 of their papers we have counts for
1 paper · 2 filters
Abdallah Saffidine, Andreas Herzig
It is well-known that every quantified boolean formula (QBF) can be transformed into a prenex QBF whose only boolean operators are negation, conjunction, and disjunction. It is als…