@misc{indiciaedd75ab21e4d9, title = {Worst-Case Upper Bound for (1, 2)-QSAT}, author = {Minghao Yin}, year = {2011}, url = {https://arxiv.org/abs/1102.4925}, note = {Source identifier: 1102.4925} }