Karem Sakallah, Video: Anatomy and Empirical Evaluation of Modern SAT Solvers

Karem Sakallah, Video: Anatomy and Empirical Evaluation of Modern SAT Solvers

Karem Sakallah, Anatomy and Empirical Evaluation of Modern SAT Solvers, Theoretical Foundations of Applied SAT Solving, BIRS, BIRS talk, 14w5101, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

45M

http://www.birs.ca/events/2014/5-day-workshops/14w5101/videos

http://www.birs.ca/events/2014/5-day-workshops/14w5101/videos/watch/201401202003-Sakallah.html