| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 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 5 from 9 records - ShengYu Shen has 3 coauthors
Copyright © 2009-12-06 by Michael Ley (ley@uni-trier.de)