Boolean Functions and Data Mining

A special invited session on Boolean Functions and SAT, consisting solely of invited talks, has been organized by Ewald Speckenmeyer (Universität zu Köln, Institut für Informatik, Pohligstr. 1, D-50969 Köln, Germany).