Title of article :
Complexity of DNF minimization and isomorphism testing for monotone formulas
Author/Authors :
Judy Goldsmith، نويسنده , , Matthias Hagen، نويسنده , , Martin Mundhenk، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2008
Keywords :
Computational complexityMonotone formulasPrime implicantsFormula isomorphism
Journal title :
Information and Computation
Journal title :
Information and Computation
