0380502 - MÚ 2013 RIV NL eng J - Článek v odborném periodiku
Krajíček, Jan
A note on SAT algorithms and proof complexity.
Information Processing Letters. Roč. 112, č. 12 (2012), s. 490-493. ISSN 0020-0190. E-ISSN 1872-6119
Grant CEP: GA AV ČR IAA100190902
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: computational complexity
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.488, rok: 2012 ; AIS: 0.454, rok: 2012
Web výsledku:
http://www.sciencedirect.com/science/article/pii/S0020019012000774DOI: https://doi.org/10.1016/j.ipl.2012.03.009
Trvalý link: http://hdl.handle.net/11104/0211194