1 citations · 1 across the 2 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…