Nina Narodytska, Video: Reactive synthesis via QBF solving

Nina Narodytska, Video: Reactive synthesis via QBF solving

Nina Narodytska, Reactive synthesis via QBF solving, Theoretical Foundations of Applied SAT Solving, BIRS, BIRS talk, 14w5101, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

68M

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

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