31:32 duration 31 minutes 32 seconds
A lower bound for k-DNF Resolution on random CNFs…
A lower bound for k-DNF Resolution on random CNFs - Dmitry Sokolov
Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation A lower bound for k-DNF Resolution on random CNFs by Dmitry Sokolov
15:31 duration 15 minutes 31 seconds
14.b
This is the second part of the second Inf2d lecture on Resolution.