• DocumentCode
    3599077
  • Title

    An efficient finite-domain constraint solver for circuits

  • Author

    Parthasarathy, G. ; Iyer, M.K. ; Cheng, K.-T. ; Wang, Li.-C.

  • Author_Institution
    University of California, Santa Barbara
  • fYear
    2004
  • Firstpage
    212
  • Lastpage
    217
  • Keywords
    Algorithm design and analysis; Arithmetic; Automatic control; Circuit testing; Electronic design automation and methodology; Engines; Formal verification; Integer linear programming; Logic functions; Logic programming;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design Automation Conference, 2004. Proceedings. 41st
  • ISSN
    0738-100X
  • Print_ISBN
    1-51183-828-8
  • Type

    conf

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