0385827 - MÚ 2013 RIV US eng C - Conference Paper (international conference)
Filmus, Y. - Lauria, M. - Norström, J. - Thapen, Neil - Ron-Zewi, N.
Space complexity in polynomial calculus.
2012 IEEE 27th Annual Conference on Computational Complexity (CCC). New York: IEEE, 2012, s. 334-344. Annual IEEE Conference on Computational Complexity. ISBN 978-0-7695-4708-4. ISSN 1093-0159.
[27th Annual IEEE Conference on Computational Complexity (CCC). Porto (PT), 26.06.2012-29.06.2012]
R&D Projects: GA AV ČR IAA100190902; GA ČR GBP202/12/G061
Institutional support: RVO:67985840
Keywords : cutting-plane proofs * lower bounds * hard examples
Subject RIV: BA - General Mathematics
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6243410
Permanent Link: http://hdl.handle.net/11104/0007486
Filmus, Y. - Lauria, M. - Norström, J. - Thapen, Neil - Ron-Zewi, N.
Space complexity in polynomial calculus.
2012 IEEE 27th Annual Conference on Computational Complexity (CCC). New York: IEEE, 2012, s. 334-344. Annual IEEE Conference on Computational Complexity. ISBN 978-0-7695-4708-4. ISSN 1093-0159.
[27th Annual IEEE Conference on Computational Complexity (CCC). Porto (PT), 26.06.2012-29.06.2012]
R&D Projects: GA AV ČR IAA100190902; GA ČR GBP202/12/G061
Institutional support: RVO:67985840
Keywords : cutting-plane proofs * lower bounds * hard examples
Subject RIV: BA - General Mathematics
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6243410
Permanent Link: http://hdl.handle.net/11104/0007486