121 citations · 416 across the 16 of their papers we have counts for
1 paper · 1 filter
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…