"Satisfiability Allows No Nontrivial Sparsification Unless The ..."

Dieter van Melkebeek, Holger Dell (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics