Algorithms using first-order neighborhoods for minimization of Boolean functions |
| |
| Authors: | A. V. Panov |
| |
| Affiliation: | 1. Faculty of Computational Mathematics and Cybernetics, Moscow State University, Moscow, 119991, Russia
|
| |
| Abstract: | 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. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
