Matthias Krause Pavel Pudlák Rüdiger Reischuk Dieter van Melkebeek Complexity of Boolean Functions Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 06111 2006 db/conf/dagstuhl/P6111.html Dagstuhl Seminar Proceedings