TY  - RPRT
TI  - A linear time algorithm for quantum 2-SAT
AU  - Niel de Beaudrap
AU  - Sevag Gharibian
PY  - 2015
DO  - 10.4230/lipics.ccc.2016.27
UR  - https://arxiv.org/abs/1508.07338
ID  - 1508.07338
ER  -