Antonina Kolokolova, Video: The Proof Complexity of SMT Solvers

Antonina Kolokolova, Video: The Proof Complexity of SMT Solvers

Antonina Kolokolova, The Proof Complexity of SMT Solvers, Theory and Practice of Satisfiability Solving, BIRS, BIRS talk, 18w5208, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

113M

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

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