@misc{indiciae27ed8fd292e7,
  title = {On the Hardness of Satisfiability with Bounded Occurrences in the Polynomial-Time Hierarchy},
  author = {Ishay Haviv and Oded Regev and Amnon Ta-Shma},
  year = {2018},
  doi = {10.4086/toc.2007.v003a003},
  url = {https://arxiv.org/abs/1806.04080},
  note = {Source identifier: 1806.04080}
}