Maria Luisa Bonet, Video: Algorithms beyond Resolution using MaxSAT

Maria Luisa Bonet, Video: Algorithms beyond Resolution using MaxSAT

Maria Luisa Bonet, Algorithms beyond Resolution using MaxSAT, Theory and Practice of Satisfiability Solving, BIRS, BIRS talk, 18w5208, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

101M

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

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