Nathan Mull, Video: On CDCL-based Proof Systems with the Ordered Decision Strategy

Nathan Mull, Video: On CDCL-based Proof Systems with the Ordered Decision Strategy

Nathan Mull, On CDCL-based Proof Systems with the Ordered Decision Strategy, 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/201808301740-Mull.html