Video From 18w5208: Theory and Practice of Satisfiability Solving

Wednesday, August 29, 2018 09:04 - 10:10
Gröbner bases and applications
Manuel Kauers, Video: Gröbner bases and applications
Manuel Kauers, Video: Gröbner bases and applications
Manuel Kauers, Gröbner bases and applications, Theory and Practice of Satisfiability Solving, BIRS, BIRS talk, 18w5208, math, mathematics, video
Banff International Research Station
Banff International Research Station
presentation
mpeg4
212M
http://www.birs.ca/events/2018/5-day-workshops/18w5208/videos

Download this video (212M)



Other videos from this workshop