Video From 14w5101: Theoretical Foundations of Applied SAT Solving

Thursday, January 23, 2014 15:04 - 15:32
Exact model counting: SAT-solver based methods versus lifted inference
Paul Beame, Video: Exact model counting: SAT-solver based methods versus lifted inference
Paul Beame, Video: Exact model counting: SAT-solver based methods versus lifted inference
Paul Beame, Exact model counting: SAT-solver based methods versus lifted inference, Theoretical Foundations of Applied SAT Solving, BIRS, BIRS talk, 14w5101, math, mathematics, video
Banff International Research Station
Banff International Research Station
presentation
mpeg4
76M
http://www.birs.ca/events/2014/5-day-workshops/14w5101/videos

Download this video (76M)



Other videos from this workshop