@inproceedings{DBLP:conf/focs/HrubesP17,
    Author = {Hrubes, Pavel and Pudl{\'{a}}k, Pavel},
    BookTitle = {58th {IEEE} Annual Symposium on Foundations of Computer Science, {FOCS} 2017, Berkeley, CA, USA, October 15-17, 2017},
    File = {Random formulas, monotone circuits, and interpolation - 3464a121 - a - a - u.pdf},
    Pages = {121--131},
    Title = {Random Formulas, Monotone Circuits, and Interpolation},
    URL = {https://doi.org/10.1109/FOCS.2017.20},
    Year = {2017},
    bdsk-url-1 = {https://doi.org/10.1109/FOCS.2017.20},
    bdsk-url-2 = {https://vimeo.com/241963514},
    bibsource = {dblp computer science bibliography, https://dblp.org},
    biburl = {https://dblp.org/rec/bib/conf/focs/HrubesP17},
    date-added = {2019-10-14 17:20:53 +0200},
    date-modified = {2019-10-14 17:20:53 +0200},
    file-2 = {TR17-042 - a - a - u.pdf},
    timestamp = {Tue, 04 Dec 2018 10:17:29 +0100},
    doi = {10.1109/FOCS.2017.20}
}

@inproceedings{DBLP:conf/focs/HrubesP17, Author = {Hrubes, Pavel and Pudl{\'{a}}k, Pavel}, BookTitle = {58th {IEEE} Annual Symposium on Foundations of Computer Science, {FOCS} 2017, Berkeley, CA, USA, October 15-17, 2017}, File = {Random formulas, monotone circuits, and interpolation - 3464a121 - a - a - u.pdf}, Pages = {121--131}, Title = {Random Formulas, Monotone Circuits, and Interpolation}, URL = {https://doi.org/10.1109/FOCS.2017.20}, Year = {2017}, bdsk-url-1 = {https://doi.org/10.1109/FOCS.2017.20}, bdsk-url-2 = {https://vimeo.com/241963514}, bibsource = {dblp computer science bibliography, https://dblp.org}, biburl = {https://dblp.org/rec/bib/conf/focs/HrubesP17}, date-added = {2019-10-14 17:20:53 +0200}, date-modified = {2019-10-14 17:20:53 +0200}, file-2 = {TR17-042 - a - a - u.pdf}, timestamp = {Tue, 04 Dec 2018 10:17:29 +0100}, doi = {10.1109/FOCS.2017.20} }