QuteSAT: a robust circuit-based SAT solver for complex circuit structure.
https://dl.acm.org/citation.cfm?id=1266653
@inproceedings{DBLP:conf/date/WuLLH07,
author = {Chi{-}An Wu and
Ting{-}Hao Lin and
Chih{-}Chun Lee and
Chung{-}Yang Huang},
editor = {Rudy Lauwereins and
Jan Madsen},
title = {QuteSAT: a robust circuit-based {SAT} solver for complex circuit structure},
booktitle = {2007 Design, Automation and Test in Europe Conference and Exposition,
{DATE} 2007, Nice, France, April 16-20, 2007},
pages = {1313--1318},
publisher = {{EDA} Consortium, San Jose, CA, {USA}},
year = {2007},
url = {https://dl.acm.org/citation.cfm?id=1266653},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/WuLLH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签