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

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