Complexity of DNF minimization and isomorphism testing for monotone formulas
- Judy Goldsmith
- , Matthias Hagen
- , Martin Mundhenk
Research output: Contribution to journal › Article › peer-review
19
Scopus
citations