Fu Li

most citedCharacterizing Propositional Proofs as Non-Commutative Formulas

1 citations · 1 across the 2 of their papers we have counts for

collaborators

2 papers

math.PR2022

A study on the Poisson, geometric and Pascal distributions motivated by Chvátal's conjecture

Fu-Bo Li, Kun Xu, Ze-Chun Hu

Let $B (n, p)$ denote a binomial random variable with parameters $n$ and $p$ . Vasěk Chvátal conjectured that for any fixed $n \geq 2$ , as $m$ ranges over ${0, \dots, n}$ , the probabi…

cs.CC2014★ 1 cited

Characterizing Propositional Proofs as Non-Commutative Formulas

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…