TY  - RPRT
TI  - On the Hardness of Satisfiability with Bounded Occurrences in the Polynomial-Time Hierarchy
AU  - Ishay Haviv
AU  - Oded Regev
AU  - Amnon Ta-Shma
PY  - 2018
DO  - 10.4086/toc.2007.v003a003
UR  - https://arxiv.org/abs/1806.04080
ID  - 1806.04080
ER  -