Video From 20w5144: Proof Complexity

Thursday, January 23, 2020 11:00 - 11:29
On 1-BP complexity of satisfiable Tseitin formulas and how it relates to regular resolution
Dmitry Itsykson, Video: On 1-BP complexity of satisfiable Tseitin formulas and how it relates to regular resolution
Dmitry Itsykson, Video: On 1-BP complexity of satisfiable Tseitin formulas and how it relates to regular resolution
Dmitry Itsykson, On 1-BP complexity of satisfiable Tseitin formulas and how it relates to regular resolution, Proof Complexity, BIRS, BIRS talk, 20w5144, math, mathematics, video
Banff International Research Station
Banff International Research Station
presentation
mpeg4
99M
http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos
0 seconds of 0 secondsVolume 90%
Press shift question mark to access a list of keyboard shortcuts
00:00
00:00
00:00
 
This video file cannot be played.(Error Code: 224003)

Download this video (99M)



Other videos from this workshop