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

Bibliographische Detailangaben

Veröffentlicht in:	MICAI (19. : 2020 : Online) 19th Mexican International Conference on Artificial Intelligence, MICAI 2020, Mexico City, Mexico, October 12-17, 2020 ; Part 1: Advances in soft computing
1. Verfasser:	López-Medina, Marco A. (VerfasserIn)
Weitere Verfasser:	Marcial-Romero, J. Raymundo (VerfasserIn), Ita-Luna, Guillermo De (VerfasserIn), Hernández, José A. (VerfasserIn)
Pages:	19
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!