5 citations · 7 across the 4 of their papers we have counts for
1 paper · 2 filters
Edward A. Hirsch, Dmitry Itsykson
The existence of a (p-)optimal propositional proof system is a major open question in (proof) complexity; many people conjecture that such systems do not exist. Krajicek and Pudlak…