A Linear Time Algorithm for Computing #2SAT for Outerplanar 2-CNF Formulas

@inproceedings{Lpez2018ALT,
  title={A Linear Time Algorithm for Computing #2SAT for Outerplanar 2-CNF Formulas},
  author={Marco A. L{\'o}pez and Jos{\'e} Raymundo Marcial-Romero and Guillermo De Ita Luna and Yolanda Moyao},
  booktitle={MCPR},
  year={2018}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…