Kenya Ueno. A Stronger LP Bound for Formula Size Lower Bounds via Clique Constraints. In Susanne Albers, Jean-Yves Marion, editors, 26th International Symposium on Theoretical Aspects of Computer Science, STACS 2009, February 26-28, 2009, Freiburg, Germany, Proceedings. Volume 09001 of Dagstuhl Seminar Proceedings, pages 685-696, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2009. [doi]
Abstract is missing.