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