ShengYu Shen

According to our database, ShengYu Shen authored at least 20 papers between 2004 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

Complementary Synthesis for Encoder with Flow Control Mechanism.

Ying Qin, ShengYu Shen, Qingbo Wu, Huadong Dai, Yan Jia

ACM Trans. Design Autom. Electr. Syst., 2015

2014

Structure-aware CNF obfuscation for privacy-preserving SAT solving.

Ying Qin, ShengYu Shen, Yan Jia

Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

Cloud-Oriented SAT Solver Based on Obfuscating CNF Formula.

Ying Qin, ShengYu Shen, Jingzhu Kong, Huadong Dai

Proceedings of the Web Technologies and Applications, 2014

2012

Inferring Assertion for Complementary Synthesis.

ShengYu Shen, Ying Qin, Kefei Wang, Zhengbin Pang, Jianmin Zhang, Sikun Li

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012

2011

A Halting Algorithm to Determine the Existence of the Decoder.

ShengYu Shen, Ying Qin, Liquan Xiao, Kefei Wang, Jianmin Zhang, Sikun Li

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2011

Extracting minimal unsatisfiable subformulas in satisfiability modulo theories.

Jianmin Zhang, ShengYu Shen, Jun Zhang, Weixia Xu, Sikun Li

Comput. Sci. Inf. Syst., 2011

Finding First-Order Minimal Unsatisfiable Cores with a Heuristic Depth-First-Search Algorithm.

Jianmin Zhang, Weixia Xu, Jun Zhang, ShengYu Shen, Zhengbin Pang, Tiejun Li, Jun Xia, Sikun Li

Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2011, 2011

Inferring assertion for complementary synthesis.

ShengYu Shen, Ying Qin, Jianmin Zhang

Proceedings of the 2011 IEEE/ACM International Conference on Computer-Aided Design, 2011

2010

Synthesizing Complementary Circuits Automatically.

ShengYu Shen, Ying Qin, Kefei Wang, Liquan Xiao, Jianmin Zhang, Sikun Li

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010

A halting algorithm to determine the existence of decoder.

ShengYu Shen, Ying Qin, Jianmin Zhang, Sikun Li

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2009

Tracking Unsatisfiable Subformulas from Reduced Refutation Proof.

Jianmin Zhang, ShengYu Shen, Sikun Li

J. Softw., 2009

Synthesizing complementary circuits automatically.

ShengYu Shen, Jianmin Zhang, Ying Qin, Sikun Li

Proceedings of the 2009 International Conference on Computer-Aided Design, 2009

2007

Finding Unsatisfiable Subformulas with Stochastic Method.

Jianmin Zhang, ShengYu Shen, Sikun Li

Proceedings of the Intelligent Data Engineering and Automated Learning, 2007

A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction.

Jianmin Zhang, ShengYu Shen, Sikun Li

Proceedings of the Computational Science and Its Applications, 2007

2006

Extracting Minimum Unsatisfiable Cores with a Greedy Genetic Algorithm.

Jianmin Zhang, Sikun Li, ShengYu Shen

Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

2005

Minimizing Counterexample with Unit Core Extraction and Incremental SAT.

ShengYu Shen, Ying Qin, Sikun Li

Proceedings of the Verification, 2005

A Faster Counterexample Minimization Algorithm Based on Refutation Analysis.

ShengYu Shen, Ying Qin, Sikun Li

Proceedings of the 2005 Design, 2005

Minimizing Counterexample of ACTL Property.

ShengYu Shen, Ying Qin, Sikun Li

Proceedings of the Correct Hardware Design and Verification Methods, 2005

A fast counterexample minimization approach with refutation analysis and incremental SAT.

ShengYu Shen, Ying Qin, Sikun Li

Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

2004

Localizing Errors in Counterexample with Iteratively Witness Searching.

ShengYu Shen, Ying Qin, Sikun Li

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004