@inproceedings{DBLP:conf/dac/WangJHS04,
author = {Chao Wang and
HoonSang Jin and
Gary D. Hachtel and
Fabio Somenzi},
title = {Refining the SAT decision ordering for bounded model checking},
booktitle = {DAC},
year = {2004},
pages = {535-538},
ee = {http://doi.acm.org/10.1145/996566.996713},
crossref = {DBLP:conf/dac/2004},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/dac/2004,
editor = {Sharad Malik and
Limor Fix and
Andrew B. Kahng},
title = {Proceedings of the 41th Design Automation Conference, DAC
2004, San Diego, CA, USA, June 7-11, 2004},
booktitle = {DAC},
publisher = {ACM},
year = {2004},
isbn = {1-58113-828-8},
ee = {http://dl.acm.org/citation.cfm?id=996566},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
