0466751 - MÚ 2017 RIV US eng J - Journal Article
Bonacina, I. - Galesi, N. - Thapen, Neil
Total space in resolution.
Siam Journal on Computing. Roč. 45, č. 5 (2016), s. 1894-1909. ISSN 0097-5397. E-ISSN 1095-7111
R&D Projects: GA ČR GBP202/12/G061
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : total space * resolution random CNFs * proof complexity
Subject RIV: BA - General Mathematics
Impact factor: 1.433, year: 2016
http://epubs.siam.org/doi/10.1137/15M1023269
Permanent Link: http://hdl.handle.net/11104/0264987
Bonacina, I. - Galesi, N. - Thapen, Neil
Total space in resolution.
Siam Journal on Computing. Roč. 45, č. 5 (2016), s. 1894-1909. ISSN 0097-5397. E-ISSN 1095-7111
R&D Projects: GA ČR GBP202/12/G061
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : total space * resolution random CNFs * proof complexity
Subject RIV: BA - General Mathematics
Impact factor: 1.433, year: 2016
http://epubs.siam.org/doi/10.1137/15M1023269
Permanent Link: http://hdl.handle.net/11104/0264987