Video: Alexander Knop, "Hard Satisfiable Formulas for Splittings by Linear Combinations"

Video From 18w5208: Theory and Practice of Satisfiability Solving

Friday, August 31, 2018 11:44 - 12:10

Hard Satisfiable Formulas for Splittings by Linear Combinations

Alexander Knop, Video: Hard Satisfiable Formulas for Splittings by Linear Combinations

Alexander Knop, Hard Satisfiable Formulas for Splittings by Linear Combinations, Theory and Practice of Satisfiability Solving, BIRS, BIRS talk, 18w5208, math, mathematics, video

Banff International Research Station

presentation

mpeg4

85M

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

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

Hard Satisfiable Formulas for Splittings by Linear Combinations

Alexander Knop at 18w5208: Theory and Practice of Satisfiability Solving on Friday, August 31, 2018

0 seconds of 0 secondsVolume 0%

00:00

Download this video (85M)