Albert Oliveras, Video: Survey of satisfiability modulo theories (SMT)

Albert Oliveras, Video: Survey of satisfiability modulo theories (SMT)

Albert Oliveras, Survey of satisfiability modulo theories (SMT), Theoretical Foundations of Applied SAT Solving, BIRS, BIRS talk, 14w5101, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

54M

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

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