Complexity of DNF minimization and isomorphism testing for monotone formulas. (2008)

by Judy Goldsmith, Matthias Hagen, Martin Mundhenk
Venue:Information and Computation,