"On Minimal Unsatisfiability and Time-Space Trade-offs for k-DNF ..."

Jakob Nordström, Alexander A. Razborov (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics