• Title of article

    Complexity of DNF minimization and isomorphism testing for monotone formulas

  • Author/Authors

    Judy Goldsmith، نويسنده , , Matthias Hagen، نويسنده , , Martin Mundhenk، نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 2008
  • Pages
    16
  • From page
    760
  • To page
    775
  • Keywords
    Computational complexityMonotone formulasPrime implicantsFormula isomorphism
  • Journal title
    Information and Computation
  • Serial Year
    2008
  • Journal title
    Information and Computation
  • Record number

    262480