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: Andraus:Zaher_S=
Contributed to:
2005
2004Wrote 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.