Satisfiability Allows No Nontrivial Sparsification unless the Polynomial-Time Hierarchy Collapses

Holger Dell, Dieter van Melkebeek. Satisfiability Allows No Nontrivial Sparsification unless the Polynomial-Time Hierarchy Collapses. Journal of the ACM, 61(4):23, 2014. [doi]

Abstract

Abstract is missing.