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]

Authors

Holger Dell

This author has not been identified. Look up 'Holger Dell' in Google

Dieter van Melkebeek

This author has not been identified. Look up 'Dieter van Melkebeek' in Google