Doron Zeilberger, Rutgers University

Abstract

The acronyms CNF and DNF feature prominently in Norbert Blum's brave attempt at proving the most important open problem of our time (with the possible exception of the much more intractable problem of establishing world peace). But there are many other aspects of CNFs, and their duals, DNFs, worth pursuing for their own sake. These other problems won't earn you a million dollars, but they are even more fun. Joint work with Anthony Zaleski.