LOPEZ MEDINA, MARCO ANTONIO; MARCIAL ROMERO, JOSE RAYMUNDO; DE ITA LUNA, GUILLERMO; Hernández Servín, José Antonio
(Martínez-Villaseñor L., Herrera-Alcántara O., Ponce H., Castro-Espinoza F.A., 2020)
An O(m + n) time algorithm is presented for counting the number of models of a two Conjunctive Normal Form Boolean Formula whose constrained graph is represented by a Series-Parallel graph, where n is the number of variables ...