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, Tome 25 (1987), pp. 68-116.

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

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},
     publisher = {mathdoc},
     volume = {25},
     year = {1987},
     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
PB  - mathdoc
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
%I mathdoc
%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, Tome 25 (1987), pp. 68-116. http://geodesic.mathdoc.fr/item/INTV_1987_25_a1/