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

Circular (Yet Sound) Proofs

Albert Atserias at 18w5208: Theory and Practice of Satisfiability Solving on Friday, August 31, 2018

0 seconds of 0 secondsVolume 0%

00:00