TY - RPRT TI - Linear time algorithm for quantum 2SAT AU - Itai Arad AU - Miklos Santha AU - Aarthi Sundaram AU - Shengyu Zhang PY - 2016 UR - https://arxiv.org/abs/1508.06340 ID - 1508.06340 ER -