BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
Collaborated with:
S.Shen S.Li
Talks about:
counterexampl (2) minim (2) increment (1) algorithm (1) extract (1) analysi (1) faster (1) refut (1) unit (1) core (1)

Person: Ying Qin

DBLP DBLP: Qin:Ying

Contributed to:

DATE 20052005
VMCAI 20052005

Wrote 2 papers:

DATE-2005-ShenQL #algorithm #analysis #performance
A Faster Counterexample Minimization Algorithm Based on Refutation Analysis (SS, YQ, SL), pp. 672–677.
VMCAI-2005-ShenQL #incremental #satisfiability
Minimizing Counterexample with Unit Core Extraction and Incremental SAT (SS, YQ, SL), pp. 298–312.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.