مؤتمر
QuteSAT: A Robust Circuit-based SAT Solver for Complex Circuit Structure
| العنوان: | QuteSAT: A Robust Circuit-based SAT Solver for Complex Circuit Structure |
|---|---|
| المؤلفون: | Wu, Chi-An, Lin, Ting-Hao, Lee, Chih-Chun, Huang, Chung-Yang |
| المصدر: | 2007 Design, Automation & Test in Europe Conference & Exhibition Design, Automation & Test in Europe Conference & Exhibition, 2007. DATE '07. :1-6 Apr, 2007 |
| Relation: | 2007 Design, Automation & Test in Europe Conference & Exhibition |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9783981080124 |
|---|---|
| تدمد: | 15301591 15581101 |
| DOI: | 10.1109/DATE.2007.364479 |