Video From 18w5208: Theory and Practice of Satisfiability Solving

Thursday, August 30, 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
227M
http://www.birs.ca/events/2018/5-day-workshops/18w5208/videos

Download this video (227M)



Other videos from this workshop