| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 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 |
| 5 | | ShengYu Shen, Ying Qin, Sikun Li: A fast counterexample minimization approach with refutation analysis and incremental SAT. ASP-DAC 2005: 451-454 |
| 4 | | ShengYu Shen, Ying Qin, Sikun Li: Minimizing Counterexample of ACTL Property. CHARME 2005: 393-397 |
| 3 | | ShengYu Shen, Ying Qin, Sikun Li: A Faster Counterexample Minimization Algorithm Based on Refutation Analysis. DATE 2005: 672-677 |
| 2 | | ShengYu Shen, Ying Qin, Sikun Li: Minimizing Counterexample with Unit Core Extraction and Incremental SAT. VMCAI 2005: 298-312 |
| 1 | | ShengYu Shen, Ying Qin, Sikun Li: Localizing Errors in Counterexample with Iteratively Witness Searching. ATVA 2004: 456-469 |
Selection of 9 from 9 records - ShengYu Shen has 3 coauthors
Copyright © 2009-12-05 by Michael Ley (ley@uni-trier.de)