Search Results - "additional definition of a partial boolean function"

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

Authors: P. N. Bibilo

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

Subject Terms: 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

Access URL: https://doaj.org/article/e52c64280fdc4e8b8f4113d6dc344c00