Karem Sakallah

ACM Fellows

USA - 2012

citation

For algorithms for Boolean Satisfiability that advanced the state-of-the-art of hardware verification.