Dancing Around SAT 3

Name: Dancing Around SAT 3
Uploaded: Jan 26, 2021
Duration: 1861 s
Description: Valentine Kabanets (Simon Fraser University) https://simons.berkeley.edu/talks/sat-centered-complexity-theory Satisfiability: Theory, Practice, and Beyond Boot Camp

Simons Institute for the Theory of Computing73K subscribers

325 views

Jan 26, 2021

31:01

Valentine Kabanets (Simon Fraser University) https://simons.berkeley.edu/talks/sat-centered-complexity-theory Satisfiability: Theory, Practice, and Beyond Boot Camp

Download

1 formats

Video Formats

360pmp445.0 MB

Download

Right-click 'Download' and select 'Save Link As' if the file opens in a new tab.