TY  - RPRT
TI  - Placing quantified variants of 3-SAT and Not-All-Equal 3-SAT in the polynomial hierarchy
AU  - Janosch Döcker
AU  - Britta Dorn
AU  - Simone Linz
AU  - Charles Semple
PY  - 2019
DO  - 10.1016/j.tcs.2020.04.003
UR  - https://arxiv.org/abs/1908.05361
ID  - 1908.05361
ER  -