On the rank of generic cutting-plane proof systems
Author: | Sebastian Pokutta, A.S. Schulz |
---|---|
Document Type: | In Proceedings |
Parent Title (English): | Proceedings of IPCO, Lecture Notes in Computer Science |
Volume: | 6080 |
First Page: | 450 |
Last Page: | 463 |
Year of first publication: | 2010 |
Page Number: | 14 |
Notes: | Additional Note: doi:10.1007/978-3-642-13036-6_34 |
Notes: | URL of the PDF: http://dx.doi.org/10.1007/978-3-642-13036-6_34 |
URL: | http://www.optimization-online.org/DB_HTML/2013/02/3782.html |