2009 |
9 | EE | Jianmin Zhang,
ShengYu Shen,
Sikun Li:
Tracking Unsatisfiable Subformulas from Reduced Refutation Proof.
JSW 4(1): 42-49 (2009) |
2007 |
8 | EE | Jianmin Zhang,
ShengYu Shen,
Sikun Li:
A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction.
ICCSA (3) 2007: 649-659 |
7 | EE | Jianmin Zhang,
ShengYu Shen,
Sikun Li:
Finding Unsatisfiable Subformulas with Stochastic Method.
IDEAL 2007: 385-394 |
2006 |
6 | EE | 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 | EE | ShengYu Shen,
Ying Qin,
Sikun Li:
A fast counterexample minimization approach with refutation analysis and incremental SAT.
ASP-DAC 2005: 451-454 |
4 | EE | ShengYu Shen,
Ying Qin,
Sikun Li:
Minimizing Counterexample of ACTL Property.
CHARME 2005: 393-397 |
3 | EE | ShengYu Shen,
Ying Qin,
Sikun Li:
A Faster Counterexample Minimization Algorithm Based on Refutation Analysis.
DATE 2005: 672-677 |
2 | EE | ShengYu Shen,
Ying Qin,
Sikun Li:
Minimizing Counterexample with Unit Core Extraction and Incremental SAT.
VMCAI 2005: 298-312 |
2004 |
1 | EE | ShengYu Shen,
Ying Qin,
Sikun Li:
Localizing Errors in Counterexample with Iteratively Witness Searching.
ATVA 2004: 456-469 |