@misc{indiciae943129953ed5,
  title = {Solving QSAT in sublinear depth},
  author = {Alberto Leporati and Luca Manzoni and Giancarlo Mauri and Antonio E. Porreca and Claudio Zandron},
  year = {2019},
  doi = {10.1007/978-3-030-12797-8\_13},
  url = {https://arxiv.org/abs/1902.03879},
  note = {Source identifier: 1902.03879}
}