Number of the records: 1
The space complexity of cutting planes refutations
- 1.Galesi, N. - Pudlák, Pavel - Thapen, Neil
The space complexity of cutting planes refutations.
30th Conference on Computational Complexity (CCC 2015). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2015 - (Zuckerman, D.), s. 433-447. Leibniz International Proceedings in Informatics, 33. ISBN 978-3-939897-81-1. ISSN 1868-8969.
[Conference on Computational Complexity (CCC) /30./. Portland (US), 17.06.2015-19.06.2015]
http://drops.dagstuhl.de/opus/volltexte/2015/5055/
http://hdl.handle.net/11104/0250451
Number of the records: 1