Massimo Lauria, Video: Introduction to Proof Complexity for SAT practitioner

Massimo Lauria, Video: Introduction to Proof Complexity for SAT practitioner

Massimo Lauria, Introduction to Proof Complexity for SAT practitioner, Theory and Practice of Satisfiability Solving, BIRS, BIRS talk, 18w5208, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

223M

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

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