ENCODING has been replaced by BIBTEX_INPUT_ENCODING and OUTPUT_ENCODING
@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}}