@article{v014a001, author = {Arad, Itai and Santha, Miklos and Sundaram, Aarthi and Zhang, Shengyu}, title = {Linear-Time Algorithm for Quantum 2SAT}, year = {2018}, pages = {1--27}, doi = {10.4086/toc.2018.v014a001}, publisher = {Theory of Computing}, journal = {Theory of Computing}, volume = {14}, number = {1}, URL = {https://theoryofcomputing.org/articles/v014a001}, }