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 × USA
Collaborated with:
M.N.Mneimneh Z.S.Andraus K.A.Sakallah I.L.Markov
Talks about:
subformula (1) unsatisfi (1) extractor (1) minim (1) amus (1)

Person: Yoonna Oh

DBLP DBLP: Oh:Yoonna

Contributed to:

DAC 20042004

Wrote 1 papers:

DAC-2004-OhMASM #named #satisfiability
AMUSE: a minimally-unsatisfiable subformula extractor (YO, MNM, ZSA, KAS, ILM), pp. 518–523.
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.