Video From 18w5208: Theory and Practice of Satisfiability Solving

Thursday, August 30, 2018 16:35 - 17:01
The Symmetry Rule for Quantified Boolean Formulas
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
The Symmetry Rule for Quantified Boolean Formulas
Martina Seidl at 18w5208: Theory and Practice of Satisfiability Solving on Thursday, August 30, 2018
0 seconds of 0 secondsVolume 90%
Press shift question mark to access a list of keyboard shortcuts
00:00
00:00
00:00
 

Download this video (95M)



Other videos from this workshop