Martina Seidl, Video: The Symmetry Rule for Quantified Boolean Formulas

Martina Seidl, Video: The Symmetry Rule for Quantified Boolean Formulas

Martina Seidl, The Symmetry Rule for Quantified Boolean Formulas, Theory and Practice of Satisfiability Solving, BIRS, BIRS talk, 18w5208, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

95M

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

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