• DocumentCode
    416297
  • Title

    AMUSE: a minimally-unsatisfiable subformula extractor

  • Author

    Oh, Yoonna ; Mneimneh, Maher N. ; Andraus, Zaher S. ; Sakallah, Karem A. ; Markov, Igor L.

  • Author_Institution
    University of Michigan, Ann Arbor, Ml
  • fYear
    2004
  • fDate
    7-11 July 2004
  • Firstpage
    518
  • Lastpage
    523
  • Keywords
    Automotive engineering; Boolean functions; Combinatorial mathematics; Computer bugs; Electronic design automation and methodology; Field programmable gate arrays; Hardware; Polynomials; Routing; Wires;
  • 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
    1322536
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=416297