مؤتمر
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 |
كن أول من يترك تعليقا!