Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 53 (2013) no. 9, pp. 1589-1600
Citer cet article
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/
@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},
year = {2013},
volume = {53},
number = {9},
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
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
%U http://geodesic.mathdoc.fr/item/ZVMMF_2013_53_9_a12/
%G ru
%F ZVMMF_2013_53_9_a12
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.
