Video: Martina Seidl, "Recent trends in QBF solving"

Video From 14w5101: Theoretical Foundations of Applied SAT Solving

Martina Seidl, JKU Linz

Thursday, January 23, 2014 09:05 - 09:56

Recent trends in QBF solving

Martina Seidl, Video: Recent trends in QBF solving

Martina Seidl, Recent trends in QBF solving, Theoretical Foundations of Applied SAT Solving, BIRS, BIRS talk, 14w5101, math, mathematics, video

Banff International Research Station

presentation

mpeg4

128M

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

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