Number of the records: 1
A note on propositional proof complexity of some Ramsey-type statements
- 1.KRAJÍČEK, Jan. 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. Available: doi: 10.1007/s00153-010-0212-9.
Number of the records: 1