Stephan Gocht, Video: Seeking Practical CDCL Insights from Theoretical SAT Benchmarks

Stephan Gocht, Video: Seeking Practical CDCL Insights from Theoretical SAT Benchmarks

Stephan Gocht, Seeking Practical CDCL Insights from Theoretical SAT Benchmarks, Theory and Practice of Satisfiability Solving, BIRS, BIRS talk, 18w5208, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

112M

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

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