TY  - RPRT
TI  - A Linear Time Algorithm for Solving #2SAT on Cactus Formulas
AU  - M. A. López
AU  - J. R. Marcial
AU  - G. De Ita
AU  - H. A. Montes-Venegas
AU  - R. Alejo
PY  - 2017
UR  - https://arxiv.org/abs/1702.08581
ID  - 1702.08581
ER  -