Geodesic
On the effective representation of disjunctive normal forms by diagrams of a special kind
Prikladnaya Diskretnaya Matematika. Supplement, no. 6 (2013), pp. 125-129

Voir la notice de l'article provenant de la source Math-Net.Ru

For an arbitrary disjunctive normal form of a Boolean function, a disjunctive diagram representation is proposed. This kind of diagrams is constructed in a polynomial time and can be used to reduce the size of conflict databases produced during non-chronological DPLL derivation.
Keywords: decision diagrams, BDD, ZDD, disjunctive diagrams. 
@article{PDMA_2013_6_a56,
     author = {A. A. Semenov},
     title = {On the effective representation of disjunctive normal forms by diagrams of a special kind},
     journal = {Prikladnaya Diskretnaya Matematika. Supplement},
     pages = {125--129},
     publisher = {mathdoc},
     number = {6},
     year = {2013},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDMA_2013_6_a56/}
}
TY  - JOUR
AU  - A. A. Semenov
TI  - On the effective representation of disjunctive normal forms by diagrams of a special kind
JO  - Prikladnaya Diskretnaya Matematika. Supplement
PY  - 2013
SP  - 125
EP  - 129
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDMA_2013_6_a56/
LA  - ru
ID  - PDMA_2013_6_a56
ER  - 
%0 Journal Article
%A A. A. Semenov
%T On the effective representation of disjunctive normal forms by diagrams of a special kind
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2013
%P 125-129
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2013_6_a56/
%G ru
%F PDMA_2013_6_a56
A. A. Semenov. On the effective representation of disjunctive normal forms by diagrams of a special kind. Prikladnaya Diskretnaya Matematika. Supplement, no. 6 (2013), pp. 125-129. http://geodesic.mathdoc.fr/item/PDMA_2013_6_a56/