BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
1 × United Kingdom
Collaborated with:
K.A.Sakallah M.N.Mneimneh I.Lynce J.P.M.Silva Y.Oh I.L.Markov
Talks about:
unsatisfi (2) minim (2) subformula (1) extractor (1) algorithm (1) smallest (1) abstract (1) verilog (1) formula (1) extract (1)

Person: Zaher S. Andraus

DBLP DBLP: Andraus:Zaher_S=

Contributed to:

SAT 20052005
DAC 20042004

Wrote 3 papers:

SAT-2005-MneimnehLASS #algorithm #bound #satisfiability
A Branch-and-Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Formulas (MNM, IL, ZSA, JPMS, KAS), pp. 467–474.
DAC-2004-AndrausS #abstraction #automation #modelling #verification
Automatic abstraction and verification of verilog models (ZSA, KAS), pp. 218–223.
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.