A method for counting models on grid Boolean formulas1.

Autor:	López-Medina, Marco A.1 (AUTHOR) mlopezm158@alumno.uaemex.mx, Marcial-Romero, J. Raymundo1 (AUTHOR), De Ita Luna, Guillermo1 (AUTHOR), Hernández, José A.1 (AUTHOR), Pinto, David (AUTHOR), Beltrán, Beatriz (AUTHOR), Singh, Vivek (AUTHOR)
Zdroj:	Journal of Intelligent & Fuzzy Systems. 2022, Vol. 42 Issue 5, p4719-4726. 8p.
Databáze:	Academic Search Ultimate
Externí odkaz:	Zobrazit plný text záznamu Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.