A bottom-up algorithm for solving ♯2SAT
From MaRDI portal
Publication:3386918
DOI10.1093/jigpal/jzaa009zbMath1497.68357MaRDI QIDQ3386918
J. Raymundo Marcial-Romero, J. A. Hernández-Servín, Guillermo de Ita
Publication date: 8 January 2021
Published in: Logic Journal of the IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzaa009
68W05: Nonnumerical algorithms
68R10: Graph theory (including graph drawing) in computer science
68R07: Computational aspects of satisfiability