Khurram Sajid

According to our database, Khurram Sajid authored at least 2 papers between 1997 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

BDD Based Procedures for a Theory of Equality with Uninterpreted Functions.

Anuj Goel, Khurram Sajid, Hai Zhou, Adnan Aziz, Vigyan Singhal

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

Optimizing Designs Containing Black Boxes.

Tai-Hung Liu, Khurram Sajid, Adnan Aziz, Vigyan Singhal

Proceedings of the 34st Conference on Design Automation, 1997