A tradeoff between length and width in resolution

0462811 - MÚ 2017 RIV US eng J - Journal Article
Thapen, Neil
A tradeoff between length and width in resolution.
Theory of Computing. Roč. 12, č. 5 (2016), s. 1-14. ISSN 1557-2862. E-ISSN 1557-2862
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985840
Keywords : proof complexity * resolution * trade-off
OECD category: Pure mathematics
http://toc.nada.kth.se/articles/v012a005/index.html
Permanent Link: http://hdl.handle.net/11104/0262196