TY  - RPRT
TI  - Solving QSAT in sublinear depth
AU  - Alberto Leporati
AU  - Luca Manzoni
AU  - Giancarlo Mauri
AU  - Antonio E. Porreca
AU  - Claudio Zandron
PY  - 2019
DO  - 10.1007/978-3-030-12797-8_13
UR  - https://arxiv.org/abs/1902.03879
ID  - 1902.03879
ER  -