Publication Overview

Holger Dell and Dieter van Melkebeek

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

Published in: J. ACM
Year: 2014
Volume: 61
Pages: 23