Go to the corresponding LIPIcs Volume Portal 
Arad, Itai ; Santha, Miklos ; Sundaram, Aarthi ; Zhang, Shengyu
pdfformat: 

@InProceedings{arad_et_al:LIPIcs:2016:6279, author = {Itai Arad and Miklos Santha and Aarthi Sundaram and Shengyu Zhang}, title = {{Linear Time Algorithm for Quantum 2SAT}}, booktitle = {43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016)}, pages = {15:115:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959770132}, ISSN = {18688969}, year = {2016}, volume = {55}, editor = {Ioannis Chatzigiannakis, Michael Mitzenmacher, Yuval Rabani, and Davide Sangiorgi}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2016/6279}, URN = {urn:nbn:de:0030drops62795}, doi = {10.4230/LIPIcs.ICALP.2016.15}, annote = {Keywords: Quantum SAT, DavisPutnam Procedure, Linear Time Algorithm} }
Keywords:  Quantum SAT, DavisPutnam Procedure, Linear Time Algorithm  
Seminar:  43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016)  
Issue Date:  2016  
Date of publication:  17.08.2016 