Department of Electrical and Computer Engineering
·¡³¾²¹¾±±ô:Ìývganesh@uwaterloo.ca
Research Interests:Â Boolean SAT and SMT solvers, theorem provers, solvers for combinatorial mathematics, foundations of mathematics, complexity theory
Link to Profile: