Search results for: Sicun Gao
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2010 > Part 2. Regular Papers > 128-142
2015 54th IEEE Conference on Decision and Control (CDC) > 2613 - 2620
2013 Formal Methods in Computer-Aided Design > 105 - 112
Formal Methods in Computer Aided Design > 81 - 89