%0 Journal Article %1 journals/corr/LopezMLVA17 %A López, M. A. %A Marcial-Romero, José Raymundo %A Luna, Guillermo De Ita %A Venegas, Héctor A. Montes %A Alejo, Roberto %D 2017 %J CoRR %K dblp %T A Linear Time Algorithm for Solving #2SAT on Cactus Formulas. %U http://dblp.uni-trier.de/db/journals/corr/corr1702.html#LopezMLVA17 %V abs/1702.08581

@article{journals/corr/LopezMLVA17, added-at = {2018-08-13T00:00:00.000+0200}, author = {López, M. A. and Marcial-Romero, José Raymundo and Luna, Guillermo De Ita and Venegas, Héctor A. Montes and Alejo, Roberto}, biburl = {https://www.bibsonomy.org/bibtex/2ac0a50924e6effbc0c96889e7ab35ee8/dblp}, ee = {http://arxiv.org/abs/1702.08581}, interhash = {47197254fd302e3802dcfe845be8905d}, intrahash = {ac0a50924e6effbc0c96889e7ab35ee8}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T13:21:52.000+0200}, title = {A Linear Time Algorithm for Solving #2SAT on Cactus Formulas.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1702.html#LopezMLVA17}, volume = {abs/1702.08581}, year = 2017 }