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

Gespeichert in:
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!