DocumentCode :
416300
Title :
Refining the SAT decision ordering for bounded model checking
Author :
Wang, Chao ; Jin, HoonSang ; Hachtel, Gary D. ; Somenzi, Fabio
Author_Institution :
University of Colorado at Boulder, CO
fYear :
2004
fDate :
7-11 July 2004
Firstpage :
535
Lastpage :
538
Keywords :
Boolean functions; Chaos; Circuits; Contracts; Data structures; Logic design; Modems; Permission; Refining; Search problems;
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 :
1322539
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=416300
بازگشت