Twelve Problems in Proof Complexity

0321832 - MÚ 2009 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Pudlák, Pavel
Twelve Problems in Proof Complexity.
[Dvanáct problémů v důkazové složitosti.]
Computer Science - Theory and Applications. Berlin: Springer, 2008 - (Hirsch, E.; Razborov, A.; Semenov, A.; Slissenko, A.), s. 11-27. ISBN 978-3-540-79708-1.
[International Computer Science Symposium in Russia, CSR 2008/3./. Moskva (RU), 07.06.2008-12.06.2008]
Grant CEP: GA AV ČR IAA1019401
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: computational complexity * bounded arithmetic * propositional calculus
Kód oboru RIV: BA - Obecná matematika

We illustrate the state of art in proof complexity using twelve problems

S použitím dvanácti problémů ilustrujeme současný stav v důkazové složitosti
Trvalý link: http://hdl.handle.net/11104/0170258