@bibtex{          2011.01649,
  Author        = "Camerani, Giorgio",
  Abstract      = "We furnish solid evidence, both theoretical and empirical, towards the existence of a deterministic algorithm for random sparse $\\#\Omega({\l}og n)$-SAT instances, which computes the exact counting of satisfying assignments in sub-exponential time. The algorithm uses a nice combinatorial property that every CNF formula has, which relates its number of unsatisfying assignments to the space of its monotone sub-formulae.",
  comments      = "18 pages, 10 figures. Software implementation (in Java) available for download",
  date-added    = "2021-03-10 15:57:13 +0100",
  date-modified = "2021-03-10 15:57:14 +0100",
  EPrint        = "arXiv:2011.01649",
  EPrintType    = "arXiv",
  Title         = "{T}he {L}ong, the {S}hort and the {R}andom",
  URL           = "http://arxiv.org/abs/2011.01649",
  Year          = "2020",
  bdsk-url-1    = "http://arxiv.org/abs/2011.01649",
  File          = "2011.01649 - r - r.pdf"
}

@bibtex{ 2011.01649, Author = "Camerani, Giorgio", Abstract = "We furnish solid evidence, both theoretical and empirical, towards the existence of a deterministic algorithm for random sparse $\#\Omega({\l}og n)$-SAT instances, which computes the exact counting of satisfying assignments in sub-exponential time. The algorithm uses a nice combinatorial property that every CNF formula has, which relates its number of unsatisfying assignments to the space of its monotone sub-formulae.", comments = "18 pages, 10 figures. Software implementation (in Java) available for download", date-added = "2021-03-10 15:57:13 +0100", date-modified = "2021-03-10 15:57:14 +0100", EPrint = "arXiv:2011.01649", EPrintType = "arXiv", Title = "{T}he {L}ong, the {S}hort and the {R}andom", URL = "http://arxiv.org/abs/2011.01649", Year = "2020", bdsk-url-1 = "http://arxiv.org/abs/2011.01649", File = "2011.01649 - r - r.pdf" }