ShengYu Shen (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

9 Jianmin Zhang, ShengYu Shen, Sikun Li: Tracking Unsatisfiable Subformulas from Reduced Refutation Proof. JSW 4(1): 42-49 (2009)

8 Jianmin Zhang, ShengYu Shen, Sikun Li: A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction. ICCSA (3) 2007: 649-659

7 Jianmin Zhang, ShengYu Shen, Sikun Li: Finding Unsatisfiable Subformulas with Stochastic Method. IDEAL 2007: 385-394

6 Jianmin Zhang, Sikun Li, ShengYu Shen: Extracting Minimum Unsatisfiable Cores with a Greedy Genetic Algorithm. Australian Conference on Artificial Intelligence 2006: 847-856

Selection of 4 from 9 records - ShengYu Shen has 3 coauthors

9		Jianmin Zhang, ShengYu Shen, Sikun Li: Tracking Unsatisfiable Subformulas from Reduced Refutation Proof. JSW 4(1): 42-49 (2009)
8		Jianmin Zhang, ShengYu Shen, Sikun Li: A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction. ICCSA (3) 2007: 649-659
7		Jianmin Zhang, ShengYu Shen, Sikun Li: Finding Unsatisfiable Subformulas with Stochastic Method. IDEAL 2007: 385-394
6		Jianmin Zhang, Sikun Li, ShengYu Shen: Extracting Minimum Unsatisfiable Cores with a Greedy Genetic Algorithm. Australian Conference on Artificial Intelligence 2006: 847-856