ENCODING has been replaced by BIBTEX_INPUT_ENCODING and OUTPUT_ENCODING
@inproceedings{conf/mfcs/AradBGSSZ16, Author = {Itai Arad and Adam Bouland and Daniel Grier and Miklos Santha and Aarthi Sundaram and Shengyu Zhang}, Crossref = {conf/mfcs/2016}, Date-Added = {2019-02-24 13:05:01 +0100}, Date-Modified = {2019-02-24 15:26:57 +0100}, Keywords = {c-acti,irif,Santha,eq-ac}, Pages = {12:1-12:14}, Title = {On the Complexity of Probabilistic Trials for Hidden Satisfiability Problems.}, Year = {2016}, Bdsk-Url-1 = {http://dx.doi.org/10.4230/LIPIcs.MFCS.2016.12}}