Search results

0518434 - MÚ 2020 RIV US eng C - Conference Paper (international conference)
Galesi, N. - Kolodziejczyk, L. A. - Thapen, Neil
Polynomial calculus space and resolution width.
60th Annual Symposium on Foundations of Computer Science (FOCS). Piscataway: IEEE, 2019, s. 1325-1337. ISBN 978-1-7281-4952-3. ISSN 0272-5428.
[60th Annual Symposium on Foundations of Computer Science (FOCS). Baltimore (US), 09.11.2019-12.11.2019]
R&D Projects: GA ČR(CZ) GA19-05497S
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : polynomial calculus * proof complexity * resolution
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://dx.doi.org/10.1109/FOCS.2019.00081
Permanent Link: http://hdl.handle.net/11104/0303569