Cheng-Yin Wu
According to our database1,
Cheng-Yin Wu
authored at least 4 papers
between 2011 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
A Counterexample-Guided Interpolant Generation Algorithm for SAT-Based Model Checking.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014
Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014
2012
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012
2011
Property-specific sequential invariant extraction for SAT-based unbounded model checking.
Proceedings of the 2011 IEEE/ACM International Conference on Computer-Aided Design, 2011