Geodesic
Boolean function minimization in the class of disjunctive normal forms
Itogi nauki i tehniki. Seriâ, Teoriâ veroâtnostej. Matematičeskaâ statistika. Teoretičeskaâ kibernetika, Itogi Nauki i Tekhniki. Seriya "Teoriya Veroyatnostei. Matematicheskaya Statistika. Teoreticheskaya Kibernetika", Tome 25 (1987), pp. 68-116
Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice du chapitre de livre

The survey focuses on minimization of boolean functions in the class of disjunctive normal forms (d.n.f.s) and covers the publications from 1953 to 1986. The main emphasis is on the mathematical direction of research in boolean function minimization: bounds of parameters of boolean functions and algorithmic difficulties of minimal d.n.f. synthesis). The survey also presents a classification of minimization algorithms and gives some examples of minimization heuristics with their efficiency bounds. 
@article{INTV_1987_25_a1,
     author = {A. A. Sapozhenko and I. P. Chukhrov},
     title = {Boolean function minimization in the class of disjunctive normal forms},
     journal = {Itogi nauki i tehniki. Seri\^a, Teori\^a vero\^atnostej. Matemati\v{c}eska\^a statistika. Teoreti\v{c}eska\^a kibernetika},
     pages = {68--116},
     year = {1987},
     volume = {25},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/INTV_1987_25_a1/}
}
TY  - JOUR
AU  - A. A. Sapozhenko
AU  - I. P. Chukhrov
TI  - Boolean function minimization in the class of disjunctive normal forms
JO  - Itogi nauki i tehniki. Seriâ, Teoriâ veroâtnostej. Matematičeskaâ statistika. Teoretičeskaâ kibernetika
PY  - 1987
SP  - 68
EP  - 116
VL  - 25
UR  - http://geodesic.mathdoc.fr/item/INTV_1987_25_a1/
LA  - ru
ID  - INTV_1987_25_a1
ER  - 
%0 Journal Article
%A A. A. Sapozhenko
%A I. P. Chukhrov
%T Boolean function minimization in the class of disjunctive normal forms
%J Itogi nauki i tehniki. Seriâ, Teoriâ veroâtnostej. Matematičeskaâ statistika. Teoretičeskaâ kibernetika
%D 1987
%P 68-116
%V 25
%U http://geodesic.mathdoc.fr/item/INTV_1987_25_a1/
%G ru
%F INTV_1987_25_a1
A. A. Sapozhenko; I. P. Chukhrov. Boolean function minimization in the class of disjunctive normal forms. Itogi nauki i tehniki. Seriâ, Teoriâ veroâtnostej. Matematičeskaâ statistika. Teoretičeskaâ kibernetika, Itogi Nauki i Tekhniki. Seriya "Teoriya Veroyatnostei. Matematicheskaya Statistika. Teoreticheskaya Kibernetika", Tome 25 (1987), pp. 68-116. http://geodesic.mathdoc.fr/item/INTV_1987_25_a1/