works on
biased positional games 1combinatorial game theory 1graph theory 1oriented cycle game 1threshold bias 1tournament 1

From the 1 of 6 linked papers with an AI index.

activity
20242026
collaborators
Showing cs.CCShow all

1 paper · 1 filter

cs.CC2025

Polynomial Prenexing of QBFs with Non-Monotone Boolean Operators

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…