Travelled to:1 × Austria
1 × USA
Collaborated with:S.Berezin D.L.Dill T.Heyman D.Smith Y.Mahajan L.Leong
Talks about:strengthen (1) netlist (1) control (1) consist (1) symbol (1) solver (1) invari (1) optim (1) domin (1) check (1)
Person: Husam Abu-Haimed
DBLP: Abu-Haimed:Husam
Contributed to:
2014
2003Wrote 2 papers:
- SAT-2014-HeymanSMLA #using
- Dominant Controllability Check Using QBF-Solver and Netlist Optimizer (TH, DS, YM, LL, HAH), pp. 227–242.
- CAV-2003-Abu-HaimedBD #consistency #invariant #testing
- Strengthening Invariants by Symbolic Consistency Testing (HAH, SB, DLD), pp. 407–419.