Výsledky vyhledávání - "additional definition of a partial boolean function"

Disjunctive and conjunctive decompositions of incompletely defined Boolean functions in a Binary Decision Diagram

Autoři: P. N. Bibilo

Zdroj: Informatika, Vol 22, Iss 1, Pp 40-65 (2025)

Témata: system of partial boolean functions, sat-problem, Electronic computers. Computer science, shannon expansion, additional definition of a partial boolean function, algebraic decompositions of boolean functions, QA75.5-76.95, binary decision diagram

Přístupová URL adresa: https://doaj.org/article/e52c64280fdc4e8b8f4113d6dc344c00