Search for tag: "unsatisfiability"

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

From  Iain Cms 0 likes 21 plays 0  

14.b

This is the second part of the second Inf2d lecture on Resolution.

From  Claudia-Elena Chirita 0 likes 162 plays 0