0483703 - MÚ 2018 RIV US eng C - Conference Paper (international conference)
Hrubeš, Pavel - Pudlák, PavelRandom formulas, monotone circuits, and interpolation.
2017 58th IEEE Annual Symposium on Foundations of Computer Science (FOCS). New York: IEEE, 2017, s. 121-131. Annual IEEE Symposium on Foundations of Computer Science. ISBN 978-1-5386-3464-6. ISSN 0272-5428.
[58th IEEE Annual Symposium on Foundations of Computer Science (FOCS). Berkeley (US), 15.10.2017-17.10.2017]
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : Cutting Planes * random formulas * interpolation
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://ieeexplore.ieee.org/document/8104052/
Permanent Link: http://hdl.handle.net/11104/0278908
