Počet záznamů: 1
A note on propositional proof complexity of some Ramsey-type statements
- 1.KRAJÍČEK, J. A note on propositional proof complexity of some Ramsey-type statements. Archive for Mathematical Logic. 2011, 50(1-2), 245-255. ISSN 0933-5846. E-ISSN 1432-0665. Dostupné z: doi: 10.1007/s00153-010-0212-9.
Počet záznamů: 1