Breaking the Rectangle Bound Barrier against Formula Size Lower Bounds

Kenya Ueno. Breaking the Rectangle Bound Barrier against Formula Size Lower Bounds. In Petr Hlinený, Antonín Kucera, editors, Mathematical Foundations of Computer Science 2010, 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings. Volume 6281 of Lecture Notes in Computer Science, pages 665-676, Springer, 2010. [doi]

Abstract

Abstract is missing.