The #ETH is False, #k-SAT is in Sub-Exponential Time

Giorgio Camerani

We orchestrate a randomized algorithm for #$k$-SAT which counts the exact number of satisfying assignments in $2^{o(n)}$ time. The existence of such algorithm signifies that the #E…