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]
@article{LunaRH11,
title = {A Threshold for a Polynomial Solution of #2SAT},
author = {Guillermo De Ita Luna and José Raymundo Marcial-Romero and José Antonio Hernández},
year = {2011},
doi = {10.3233/FI-2011-599},
url = {http://dx.doi.org/10.3233/FI-2011-599},
researchr = {https://researchr.org/publication/LunaRH11},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {113},
number = {1},
pages = {63-77},
}