Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs
Alexander Knop, Video: Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs
Alexander Knop, Video: Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs
Alexander Knop, Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs, Proof Complexity, BIRS, BIRS talk, 20w5144, math, mathematics, video