National Science Foundation
Mathematical Sciences Institutes
Home
Institutes
Events
Highlights
Videos
Diversity
About
Videos
Probabalistically checkable proofs and the graph coloring problem
Presenter
Dor Minzer
October 1, 2018
IAS
Play Video
Abstract
No abstract available.