TY  - RPRT
TI  - A Stronger LP Bound for Formula Size Lower Bounds via Clique Constraints
AU  - Kenya Ueno
PY  - 2009
UR  - https://arxiv.org/abs/0902.2146
ID  - 0902.2146
ER  -