ShengYu Shen

Publication Activity (10 Years)

Years Active: 2004-2015
Publications (10 Years): 0

Top Topics

Boolean Satisfiability

Texture Synthesis

Top Venues

APWeb Workshophs

ACM Trans. Design Autom. Electr. Syst.

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

Publications

Ying Qin, ShengYu Shen, Qingbo Wu, Huadong Dai, Yan Jia
Complementary Synthesis for Encoder with Flow Control Mechanism. ACM Trans. Design Autom. Electr. Syst. 21 (1) (2015)
Ying Qin, ShengYu Shen, Yan Jia
Structure-aware CNF obfuscation for privacy-preserving SAT solving. MEMOCODE (2014)
Ying Qin, ShengYu Shen, Jingzhu Kong, Huadong Dai
Cloud-Oriented SAT Solver Based on Obfuscating CNF Formula. APWeb Workshophs (2014)
ShengYu Shen, Ying Qin, Kefei Wang, Zhengbin Pang, Jianmin Zhang, Sikun Li
Inferring Assertion for Complementary Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31 (8) (2012)
Jianmin Zhang, ShengYu Shen, Jun Zhang, Weixia Xu, Sikun Li
Extracting minimal unsatisfiable subformulas in satisfiability modulo theories. Comput. Sci. Inf. Syst. 8 (3) (2011)
ShengYu Shen, Ying Qin, Liquan Xiao, Kefei Wang, Jianmin Zhang, Sikun Li
A Halting Algorithm to Determine the Existence of the Decoder. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 30 (10) (2011)
ShengYu Shen, Ying Qin, Jianmin Zhang
Inferring assertion for complementary synthesis. ICCAD (2011)
Jianmin Zhang, Weixia Xu, Jun Zhang, ShengYu Shen, Zhengbin Pang, Tiejun Li, Jun Xia, Sikun Li
Finding First-Order Minimal Unsatisfiable Cores with a Heuristic Depth-First-Search Algorithm. IDEAL (2011)
ShengYu Shen, Ying Qin, Kefei Wang, Liquan Xiao, Jianmin Zhang, Sikun Li
Synthesizing Complementary Circuits Automatically. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29 (8) (2010)
ShengYu Shen, Ying Qin, Jianmin Zhang, Sikun Li
A halting algorithm to determine the existence of decoder. FMCAD (2010)
ShengYu Shen, Jianmin Zhang, Ying Qin, Sikun Li
Synthesizing complementary circuits automatically. ICCAD (2009)
Jianmin Zhang, ShengYu Shen, Sikun Li
Tracking Unsatisfiable Subformulas from Reduced Refutation Proof. J. Softw. 4 (1) (2009)
Jianmin Zhang, ShengYu Shen, Sikun Li
Finding Unsatisfiable Subformulas with Stochastic Method. IDEAL (2007)
Jianmin Zhang, ShengYu Shen, Sikun Li
A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction. ICCSA (3) (2007)
Jianmin Zhang, Sikun Li, ShengYu Shen
Extracting Minimum Unsatisfiable Cores with a Greedy Genetic Algorithm. Australian Conference on Artificial Intelligence (2006)
ShengYu Shen, Ying Qin, Sikun Li
A fast counterexample minimization approach with refutation analysis and incremental SAT. ASP-DAC (2005)
ShengYu Shen, Ying Qin, Sikun Li
Minimizing Counterexample of ACTL Property. CHARME (2005)
ShengYu Shen, Ying Qin, Sikun Li
A Faster Counterexample Minimization Algorithm Based on Refutation Analysis. DATE (2005)
ShengYu Shen, Ying Qin, Sikun Li
Minimizing Counterexample with Unit Core Extraction and Incremental SAT. VMCAI (2005)
ShengYu Shen, Ying Qin, Sikun Li
Localizing Errors in Counterexample with Iteratively Witness Searching. ATVA (2004)