121 citations · 416 across the 16 of their papers we have counts for
1 paper · 2 filters
Holger Dell
Drucker (2012) proved the following result: Unless the unlikely complexity-theoretic collapse coNP is in NP/poly occurs, there is no AND-compression for SAT. The result has implica…