• DocumentCode
    416299
  • Title

    Exploiting structure in symmetry detection for CNF

  • Author

    Darga, Paul T. ; Liffiton, Mark H. ; Sakallah, Karem A. ; Markov, Lgor L.

  • Author_Institution
    The University of Michigan
  • fYear
    2004
  • fDate
    7-11 July 2004
  • Firstpage
    530
  • Lastpage
    534
  • Keywords
    Abstract algebra; Boolean functions; Circuit synthesis; Computer architecture; Electronic design automation and methodology; Laboratories; Packaging; Partitioning algorithms; Permission; Space exploration;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design Automation Conference, 2004. Proceedings. 41st
  • Conference_Location
    San Diego, CA, USA
  • ISSN
    0738-100X
  • Print_ISBN
    1-51183-828-8
  • Type

    conf

  • Filename
    1322538
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=416299