Eric Allender Lisa Hellerstein Paul McCabe Toniann Pitassi Michael E. Saks Minimizing DNF Formulas and AC0 Circuits Given a Truth Table Electronic Colloquium on Computational Complexity (ECCC) 2005 126 db/journals/eccc/eccc12.html#TR05-126 http://eccc.hpi-web.de/eccc-reports/2005/TR05-126/index.html