A Threshold for a Polynomial Solution of #2SAT

Guillermo De Ita Luna, José Raymundo Marcial-Romero, José Antonio Hernández. A Threshold for a Polynomial Solution of #2SAT. Fundamenta Informaticae, 113(1):63-77, 2011. [doi]

Abstract

Abstract is missing.