On some Properties of Boolean Functions and Their Binary Decision Diagrams Върху някои свойства на булевите функции и техните диаграми за двоично решаване

Damyanov, Ivo. "On some Properties of Boolean Functions and Their Binary Decision Diagrams Върху някои свойства на булевите функции и техните диаграми за двоично решаване." Union of Bulgarian Mathematicians 40.1 (2011): 259-263. <http://eudml.org/doc/250957>.

@article{Damyanov2011,
abstract = {Иво Й. Дамянов - Манипулирането на булеви функции е основнo за теоретичната информатика, в това число логическата оптимизация, валидирането и синтеза на схеми. В тази статия се разглеждат някои първоначални резултати относно връзката между граф-базираното представяне на булевите функции и свойствата на техните променливи.Boolean functions manipulation is an essential component of computer science, including logic optimization, logic verification and logic synthesis. In this paper some initial results about dependency of the graph based presentation of the Boolean functions and the properties of their variables are obtained. *2000 Mathematics Subject Classification: 68R01, 68R10, 68U07.},
author = {Damyanov, Ivo},
journal = {Union of Bulgarian Mathematicians},
keywords = {Decision Diagrams; Essential Variables; Separable Sets},
language = {eng},
number = {1},
pages = {259-263},
publisher = {Union of Bulgarian Mathematicians},
title = {On some Properties of Boolean Functions and Their Binary Decision Diagrams Върху някои свойства на булевите функции и техните диаграми за двоично решаване},
url = {http://eudml.org/doc/250957},
volume = {40},
year = {2011},
}

TY - JOUR
AU - Damyanov, Ivo
TI - On some Properties of Boolean Functions and Their Binary Decision Diagrams Върху някои свойства на булевите функции и техните диаграми за двоично решаване
JO - Union of Bulgarian Mathematicians
PY - 2011
PB - Union of Bulgarian Mathematicians
VL - 40
IS - 1
SP - 259
EP - 263
AB - Иво Й. Дамянов - Манипулирането на булеви функции е основнo за теоретичната информатика, в това число логическата оптимизация, валидирането и синтеза на схеми. В тази статия се разглеждат някои първоначални резултати относно връзката между граф-базираното представяне на булевите функции и свойствата на техните променливи.Boolean functions manipulation is an essential component of computer science, including logic optimization, logic verification and logic synthesis. In this paper some initial results about dependency of the graph based presentation of the Boolean functions and the properties of their variables are obtained. *2000 Mathematics Subject Classification: 68R01, 68R10, 68U07.
LA - eng
KW - Decision Diagrams; Essential Variables; Separable Sets
UR - http://eudml.org/doc/250957
ER -