N. de Beaudrap and S. Gharibian, “A Linear Time Algorithm for Quantum 2-SAT,”10.4230/LIPIcs.CCC.2016.27__in Proceedings of the 31st Conference on Computational Complexity (CCC 2016), Tokyo, Japan, 2016, vol. 50, p. 27:1–17:21, doi:10.4230/LIPIcs.CCC.2016.27 .
LibreCat: /record/8159
DOI: 10.4230/LIPIcs.CCC.2016.27
arXiv: 1508.07338