External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Model counting for #2SAT problem in outerplanar graphs

Marco A. López, José Raymundo Marcial-Romero, José A. Hernández, Guillermo De Ita. Model counting for #2SAT problem in outerplanar graphs. In Mauricio Javier Osorio Galindo, José Raymundo Marcial-Romero, Claudia Zepeda Cortés, Pilar Pozos Parra, editors, Proceedings of the Eleventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2018. Volume 2264 of CEUR Workshop Proceedings, pages 76-87, CEUR-WS.org, 2018. [doi]

Authors

Marco A. López

This author has not been identified. Look up 'Marco A. López' in Google

José Raymundo Marcial-Romero

This author has not been identified. Look up 'José Raymundo Marcial-Romero' in Google

José A. Hernández

This author has not been identified. Look up 'José A. Hernández' in Google

Guillermo De Ita

This author has not been identified. Look up 'Guillermo De Ita' in Google
runs on