Mikoláš Janota, Video: Advances in QBF Solving

Mikoláš Janota, Video: Advances in QBF Solving

Mikoláš Janota, Advances in QBF Solving, Theory and Practice of Satisfiability Solving, BIRS, BIRS talk, 18w5208, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

212M

http://www.birs.ca/events/2018/5-day-workshops/18w5208/videos

http://www.birs.ca/events/2018/5-day-workshops/18w5208/videos/watch/201808290904-Janota.html