You are here

A Deeper Empirical Understanding of Boolean SAT Solvers

The Fifth lecture in the Golden Jubilee Lecture series was delivered by 
Dr. Vijay Ganesh (our 1994 Alumnus), Assistant Professor, University of Waterloo, Canada

The lecture was held at CETAA Hall, on Thursday (08-09-2016) , 4.00  pm.

The topic:   A Deeper Empirical Understanding of Boolean SAT Solvers