Beate Bollig. On the OBDD Complexity of Threshold Functions and the Variable Ordering Problem. In Mogens Nielsen, Antonín Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank D. Valencia, editors, SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings. Volume 5404 of Lecture Notes in Computer Science, pages 129-140, Springer, 2009. [doi]
Abstract is missing.