%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