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]
No references recorded for this publication.
No citations of this publication recorded.