%0 Conference Paper %1 conf/focs/HrubesP17 %A Hrubes, Pavel %A Pudlák, Pavel %B FOCS %D 2017 %E Umans, Chris %I IEEE Computer Society %K dblp %P 121-131 %T Random Formulas, Monotone Circuits, and Interpolation. %U http://dblp.uni-trier.de/db/conf/focs/focs2017.html#HrubesP17 %@ 978-1-5386-3464-6

@inproceedings{conf/focs/HrubesP17, added-at = {2023-03-23T00:00:00.000+0100}, author = {Hrubes, Pavel and Pudlák, Pavel}, biburl = {https://www.bibsonomy.org/bibtex/2921fabc7e28d9f9fa2f9ee04f13b0b05/dblp}, booktitle = {FOCS}, crossref = {conf/focs/2017}, editor = {Umans, Chris}, ee = {https://doi.ieeecomputersociety.org/10.1109/FOCS.2017.20}, interhash = {181fe8ef9229bc1907c2153ee7999810}, intrahash = {921fabc7e28d9f9fa2f9ee04f13b0b05}, isbn = {978-1-5386-3464-6}, keywords = {dblp}, pages = {121-131}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:13:12.000+0200}, title = {Random Formulas, Monotone Circuits, and Interpolation.}, url = {http://dblp.uni-trier.de/db/conf/focs/focs2017.html#HrubesP17}, year = 2017 }