English

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

Computational Complexity 2021-02-05 v1

Abstract

We orchestrate a randomized algorithm for #kk-SAT which counts the exact number of satisfying assignments in 2o(n)2^{o(n)} time. The existence of such algorithm signifies that the #ETH is hereby refuted, and so are \oplusETH, ETH, #SETH, \oplusSETH and SETH.

Keywords

Cite

@article{arxiv.2102.02624,
  title  = {The #ETH is False, #k-SAT is in Sub-Exponential Time},
  author = {Giorgio Camerani},
  journal= {arXiv preprint arXiv:2102.02624},
  year   = {2021}
}

Comments

12 pages, 1 figure

R2 v1 2026-06-23T22:50:16.328Z