Travelled to:1 × Canada
1 × USA
Collaborated with:A.Aziz V.Singhal T.Liu A.Goel H.Zhou
Talks about:uninterpret (1) procedur (1) function (1) contain (1) theori (1) design (1) optim (1) equal (1) black (1) base (1)
Person: Khurram Sajid
DBLP: Sajid:Khurram
Contributed to:
1998
1997Wrote 2 papers:
- CAV-1998-GoelSZAS #formal method #similarity
- BDD Based Procedures for a Theory of Equality with Uninterpreted Functions (AG, KS, HZ, AA, VS), pp. 244–255.
- DAC-1997-LiuSAS #black box #design #optimisation
- Optimizing Designs Containing Black Boxes (THL, KS, AA, VS), pp. 113–116.