Video: Nicola Galesi, "Resolution and the binary encodings of combinatorial principles"

Video From 20w5144: Proof Complexity

Tuesday, January 21, 2020 16:32 - 17:03

Resolution and the binary encodings of combinatorial principles

Nicola Galesi, Video: Resolution and the binary encodings of combinatorial principles

Nicola Galesi, Resolution and the binary encodings of combinatorial principles, Proof Complexity, BIRS, BIRS talk, 20w5144, math, mathematics, video

Banff International Research Station

presentation

mpeg4

131M

http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos

http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos/watch/202001211632-Galesi.html