Norbert Manthey, Video: Recent developments in parallel SAT solving

Norbert Manthey, Video: Recent developments in parallel SAT solving

Norbert Manthey, Recent developments in parallel SAT solving, Theoretical Foundations of Applied SAT Solving, BIRS, BIRS talk, 14w5101, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

73M

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

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