Geodesic
Algorithms using first-order neighborhoods for minimization of Boolean functions
Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 53 (2013) no. 9, pp. 1589-1600

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

A class of minimization algorithms for Boolean functions that involve conjunctions from a reduced disjunctive normal form and first-order neighborhoods of such conjunctions is investigated. A particular algorithm is selected that is the best in the class in many cases. 
@article{ZVMMF_2013_53_9_a12,
     author = {A. V. Panov},
     title = {Algorithms using first-order neighborhoods for minimization of {Boolean} functions},
     journal = {\v{Z}urnal vy\v{c}islitelʹnoj matematiki i matemati\v{c}eskoj fiziki},
     pages = {1589--1600},
     publisher = {mathdoc},
     volume = {53},
     number = {9},
     year = {2013},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ZVMMF_2013_53_9_a12/}
}
TY  - JOUR
AU  - A. V. Panov
TI  - Algorithms using first-order neighborhoods for minimization of Boolean functions
JO  - Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
PY  - 2013
SP  - 1589
EP  - 1600
VL  - 53
IS  - 9
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZVMMF_2013_53_9_a12/
LA  - ru
ID  - ZVMMF_2013_53_9_a12
ER  - 
%0 Journal Article
%A A. V. Panov
%T Algorithms using first-order neighborhoods for minimization of Boolean functions
%J Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
%D 2013
%P 1589-1600
%V 53
%N 9
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZVMMF_2013_53_9_a12/
%G ru
%F ZVMMF_2013_53_9_a12
A. V. Panov. Algorithms using first-order neighborhoods for minimization of Boolean functions. Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 53 (2013) no. 9, pp. 1589-1600. http://geodesic.mathdoc.fr/item/ZVMMF_2013_53_9_a12/