On evolutionary algorithms for Boolean functions minimization
B. Ilyin, A. S. Kazimirov, V. I. Panteleyev, S. Yu. Reimerov, N. Semicheva
Abstract
B. Ilyin, A. S. Kazimirov, V. I. Panteleyev, S. Yu. Reimerov, N. Semicheva
Abstract
This paper concerns evolutionary algorithms for minimization exclusive-or sum-of-products representations of Boolean functions. These representations are used in logic synthesis for certain class of circuits. Minimization is based on a decomposition for Boolean functions with parameter function. Selection of this function is a search task which can be solved with evolutionary algorithms. Algorithms for obtaining approximately minimal formulas for Boolean functions of up to 8 variables are proposed.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
This paper concerns evolutionary algorithms for minimization exclusive-or sum-of-products representations of Boolean functions. These representations are used in logic synthesis for certain class of circuits. Minimization is based on a decomposition for Boolean functions with parameter function. Selection of this function is a search task which can be solved with evolutionary algorithms. Algorithms for obtaining approximately minimal formulas for Boolean functions of up to 8 variables are proposed.
Key concepts: Boolean function, Circuit minimization for Boolean functions, Boolean circuit, Minification, Product term, Algorithm, Boolean expression, Maximum satisfiability problem