• DocumentCode
    2352036
  • Title

    Session 7A: Advances in SAT-Based Verification

  • fYear
    2004
  • fDate
    7-11 Nov. 2004
  • Firstpage
    497
  • Lastpage
    497
  • Abstract
    Start of the above-titled section of the conference proceedings record.
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Aided Design, 2004. ICCAD-2004. IEEE/ACM International Conference on
  • Conference_Location
    San Jose, CA, USA
  • ISSN
    1092-3152
  • Print_ISBN
    0-7803-8702-3
  • Type

    conf

  • DOI
    10.1109/ICCAD.2004.1382628
  • Filename
    1382628
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2352036