Dissertation Defense

Structure-driven Algorithms for Equivalence Verification and Infeasibility Checking

Maher Naji Mneimneh
SHARE:

Sponsored by

Karem Sakallah