Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}