 | 2009 |
|---|
| 9 |       | Jianmin Zhang,
ShengYu Shen,
Sikun Li:
Tracking Unsatisfiable Subformulas from Reduced Refutation Proof.
JSW 4(1): 42-49 (2009) |
| 2007 |
|---|
| 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 |
| 2006 |
|---|
| 6 | | Jianmin Zhang,
Sikun Li,
ShengYu Shen:
Extracting Minimum Unsatisfiable Cores with a Greedy Genetic Algorithm.
Australian Conference on Artificial Intelligence 2006: 847-856 |
| 2005 |
|---|
| 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 |
| 2004 |
|---|
| 1 | | ShengYu Shen,
Ying Qin,
Sikun Li:
Localizing Errors in Counterexample with Iteratively Witness Searching.
ATVA 2004: 456-469 |
