Výsledky vyhledávání

0458241 - MÚ 2017 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Filmus, Y. - Hrubeš, Pavel - Lauria, M.
Semantic versus syntactic cutting planes.
33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2016 - (Ollinger, N.; Vollmer, H.), s. 1-13. Leibniz International Proceedings in Informatics, 47. ISBN 978-3-95977-001-9. ISSN 1868-8969.
[33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016). Orléans (FR), 17.02.2016-20.02.2016]
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: proof complexity * cutting planes * lower bounds
Kód oboru RIV: BA - Obecná matematika
http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=5736
Trvalý link: http://hdl.handle.net/11104/0258534