Video: Albert Atserias, "Circular (Yet Sound) Proofs"

Video From 18w5208: Theory and Practice of Satisfiability Solving

Friday, August 31, 2018 11:07 - 11:39

Circular (Yet Sound) Proofs

Albert Atserias, Video: Circular (Yet Sound) Proofs

Albert Atserias, Circular (Yet Sound) Proofs, Theory and Practice of Satisfiability Solving, BIRS, BIRS talk, 18w5208, math, mathematics, video

Banff International Research Station

presentation

mpeg4

104M

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

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

0 seconds of 0 secondsVolume 90%

00:00

This video file cannot be played.(Error Code: 224003)