de Beaudrap, N., &; Gharibian, S. (2016). A Linear Time Algorithm for Quantum 2-SAT. In R. Raz (Ed.), Proceedings of the 31st Conference on Computational Complexity (CCC 2016) (Vol. 50, p. 27:1-17:21). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.https://doi.org/10.4230/LIPIcs.CCC.2016.27