by Itai Arad, Miklos Santha, Aarthi Sundaram, Shengyu Zhang
Reference:
Linear Time Algorithm for Quantum 2SAT. (Itai Arad, Miklos Santha, Aarthi Sundaram, Shengyu Zhang), In 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016.
Bibtex Entry:
@proceedings{conf/icalp/2016,
Booktitle = {43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy},
Date-Added = {2019-02-24 13:05:01 +0100},
Date-Modified = {2019-02-24 13:05:01 +0100},
Publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
Series = {LIPIcs},
Year = {2016}}
@inproceedings{conf/icalp/AradSSZ16,
Author = {Itai Arad and Miklos Santha and Aarthi Sundaram and Shengyu Zhang},
Crossref = {conf/icalp/2016},
Date-Added = {2019-02-24 13:05:01 +0100},
Date-Modified = {2019-02-24 15:27:03 +0100},
Keywords = {c-acti,irif,Santha,eq-ac,selected},
Pages = {15:1-15:14},
Title = {Linear Time Algorithm for Quantum 2SAT.},
Year = {2016},
Bdsk-Url-1 = {http://dx.doi.org/10.4230/LIPIcs.ICALP.2016.15}}