The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

ShengYu Shen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. ShengYu Shen, Ying Qin, Sikun Li
    A fast counterexample minimization approach with refutation analysis and incremental SAT. [Citation Graph (0, 0)][DBLP]
    ASP-DAC, 2005, pp:451-454 [Conf]
  2. ShengYu Shen, Ying Qin, Sikun Li
    Localizing Errors in Counterexample with Iteratively Witness Searching. [Citation Graph (0, 0)][DBLP]
    ATVA, 2004, pp:456-469 [Conf]
  3. Jianmin Zhang, Sikun Li, ShengYu Shen
    Extracting Minimum Unsatisfiable Cores with a Greedy Genetic Algorithm. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2006, pp:847-856 [Conf]
  4. ShengYu Shen, Ying Qin, Sikun Li
    Minimizing Counterexample of ACTL Property. [Citation Graph (0, 0)][DBLP]
    CHARME, 2005, pp:393-397 [Conf]
  5. ShengYu Shen, Ying Qin, Sikun Li
    A Faster Counterexample Minimization Algorithm Based on Refutation Analysis. [Citation Graph (0, 0)][DBLP]
    DATE, 2005, pp:672-677 [Conf]
  6. ShengYu Shen, Ying Qin, Sikun Li
    Minimizing Counterexample with Unit Core Extraction and Incremental SAT. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2005, pp:298-312 [Conf]
  7. Jianmin Zhang, ShengYu Shen, Sikun Li
    A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction. [Citation Graph (0, 0)][DBLP]
    ICCSA (3), 2007, pp:649-659 [Conf]

  8. Synthesizing complementary circuits automatically. [Citation Graph (, )][DBLP]


  9. Finding Unsatisfiable Subformulas with Stochastic Method. [Citation Graph (, )][DBLP]


Search in 0.058secs, Finished in 0.058secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002