A Stronger LP Bound for Formula Size Lower Bounds via Clique Constraints.

Kenya Ueno

Browse the full STACS paper archive.