共 50 条
- [1] Upper Tail Estimates with Combinatorial Proofs 32ND INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2015), 2015, 30 : 392 - 405
- [5] Combinatorial Proofs and Algebraic Proofs - I RESONANCE-JOURNAL OF SCIENCE EDUCATION, 2013, 18 (07): : 630 - 645
- [6] Combinatorial Proofs and Algebraic Proofs - II RESONANCE-JOURNAL OF SCIENCE EDUCATION, 2013, 18 (08): : 738 - 747
- [7] From Syntactic Proofs to Combinatorial Proofs AUTOMATED REASONING, IJCAR 2018, 2018, 10900 : 481 - 497
- [9] Combinatorial PCPs with Short Proofs 2012 IEEE 27TH ANNUAL CONFERENCE ON COMPUTATIONAL COMPLEXITY (CCC), 2012, : 345 - 355