TY  - RPRT
TI  - Polynomial Prenexing of QBFs with Non-Monotone Boolean Operators
AU  - Abdallah Saffidine
AU  - Andreas Herzig
PY  - 2025
UR  - https://arxiv.org/abs/2506.12562
ID  - 2506.12562
ER  -