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