Complexity of DNF minimization and isomorphism testing for monotone formulas

Judy Goldsmith, Matthias Hagen, Martin Mundhenk

Research output: Contribution to journalArticlepeer-review

18 Scopus citations

Fingerprint

Dive into the research topics of 'Complexity of DNF minimization and isomorphism testing for monotone formulas'. Together they form a unique fingerprint.

Mathematics