63 citations · 77 across the 15 of their papers we have counts for
1 paper · 1 filter
Fu Li, Iddo Tzameret, Zhengyu Wang
Does every Boolean tautology have a short propositional-calculus proof? Here, a propositional calculus (i.e. Frege) proof is a proof starting from a set of axioms and deriving new…