A Linear Time Algorithm for Counting #2SAT on Series-Parallel Formulas

LOPEZ MEDINA, MARCO ANTONIO; MARCIAL ROMERO, JOSE RAYMUNDO; DE ITA LUNA, GUILLERMO; Hernández Servín, José Antonio

Mostrar el registro sencillo del objeto digital

dc.contributor.author	LOPEZ MEDINA, MARCO ANTONIO
dc.contributor.author	MARCIAL ROMERO, JOSE RAYMUNDO
dc.contributor.author	DE ITA LUNA, GUILLERMO
dc.contributor.author	Hernández Servín, José Antonio
dc.creator	LOPEZ MEDINA, MARCO ANTONIO; 787172
dc.creator	MARCIAL ROMERO, JOSE RAYMUNDO; 39478
dc.creator	DE ITA LUNA, GUILLERMO; 57559
dc.creator	Hernández Servín, José Antonio; 89146
dc.date.accessioned	2021-02-26T00:44:33Z
dc.date.available	2021-02-26T00:44:33Z
dc.date.issued	2020
dc.identifier.isbn	978-3-030-60883-5
dc.identifier.uri	http://hdl.handle.net/20.500.11799/110146
dc.description	Capítulo de libro	es
dc.description.abstract	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 and m is the number of clauses. To the best of our knowledge, no linear time algorithm has been developed for counting in this kind of formulas.	es
dc.language.iso	eng	es
dc.publisher	Martínez-Villaseñor L., Herrera-Alcántara O., Ponce H., Castro-Espinoza F.A.	es
dc.rights	openAccess	es
dc.rights.uri	http://creativecommons.org/licenses/by-nc/4.0
dc.subject	Graph Decomposition	es
dc.subject	Enumerative Algorithm	es
dc.subject	Counting models	es
dc.subject.classification	CIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRA
dc.title	A Linear Time Algorithm for Counting #2SAT on Series-Parallel Formulas	es
dc.type	Capítulo de Libro	es
dc.provenance	Científica	es
dc.road	Verde	es
dc.organismo	Ingeniería	es
dc.ambito	Nacional	es
dc.modalidad	Artículo especializado para publicar en revista indizada	es
dc.audience	students	es
dc.audience	researchers	es
dc.type.conacyt	bookpart
dc.identificator	1
dc.relation.doi	https://doi.org/10.1007/978-3-030-60884-2_33

Ficheros en el objeto digital

Nombre: 2020_Chapter_ALin ...

Tamaño: 371.5Kb

Formato: PDF

Ver documento

Este ítem aparece en la(s) siguiente(s) colección(ones)

Conacyt [10019]
Científica [314]

Visualización del Documento

Título
A Linear Time Algorithm for Counting #2SAT on Series-Parallel Formulas
Autor
LOPEZ MEDINA, MARCO ANTONIO
MARCIAL ROMERO, JOSE RAYMUNDO
DE ITA LUNA, GUILLERMO
Hernández Servín, José Antonio
Fecha de publicación
2020
Editor
Martínez-Villaseñor L., Herrera-Alcántara O., Ponce H., Castro-Espinoza F.A.
Tipo de documento
Capítulo de Libro
Palabras clave
Graph Decomposition
Enumerative Algorithm
Counting models

Los documentos depositados en el Repositorio Institucional de la Universidad Autónoma del Estado de México se encuentran a disposición en Acceso Abierto bajo la licencia Creative Commons: Atribución-NoComercial-SinDerivar 4.0 Internacional (CC BY-NC-ND 4.0)

Mostrar el registro sencillo del objeto digital