{"_id":{"_str":"534243ba0e946d920a0004a5"},"__v":1,"authorIDs":[],"author_short":["Friedman, L.","Xu, Y."],"bibbaseid":"friedman-xu-exponentiallowerboundsforrefutingrandomformulasusingorderedbinarydecisiondiagrams-2013","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Luke"],"propositions":[],"lastnames":["Friedman"],"suffixes":[]},{"firstnames":["Yixin"],"propositions":[],"lastnames":["Xu"],"suffixes":[]}],"title":"Exponential Lower Bounds for Refuting Random Formulas Using Ordered Binary Decision Diagrams","booktitle":"Proc. International Computer Science Symposium in Russia (CSR)","year":"2013","series":"LNCS","publisher":"Springer","note":"To appear","bibtex":"@INPROCEEDINGS{fx,\n author = {Luke Friedman and Yixin Xu},\n title = {Exponential Lower Bounds for Refuting Random Formulas Using Ordered Binary Decision Diagrams},\n booktitle = {Proc. International Computer Science Symposium in Russia (CSR)},\n year = {2013},\n series = {LNCS},\n publisher = {Springer},\n note = \"To appear\",\n}\n\n","author_short":["Friedman, L.","Xu, Y."],"key":"fx","id":"fx","bibbaseid":"friedman-xu-exponentiallowerboundsforrefutingrandomformulasusingorderedbinarydecisiondiagrams-2013","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"people.csail.mit.edu/andyd/CCI_refs.bib","downloads":0,"keywords":[],"search_terms":["exponential","lower","bounds","refuting","random","formulas","using","ordered","binary","decision","diagrams","friedman","xu"],"title":"Exponential Lower Bounds for Refuting Random Formulas Using Ordered Binary Decision Diagrams","year":2013,"dataSources":["Te9pFfTBkQvusPFGk","6sSgqzaHAPRWvSxTP"]}