Výsledky vyhľadávania - "system of partial boolean functions"

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

Autori: P. N. Bibilo

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

Predmety: 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

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