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

+20 More
From  Iain Cms 0 likes 22 plays 0  

14.b

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

+19 More
From  Claudia-Elena Chirita 0 likes 162 plays 0