On Evolutionary Algorithms for Boolean Functions Minimization

被引:0
|
作者
Ilyin, B. [1 ]
Kazimirov, A. S. [1 ]
Panteleyev, V. I. [1 ]
Reimerov, S. Yu. [1 ]
Semicheva, N. [1 ]
机构
[1] Irkutsk Statue Univ, Inst Math Econ & Informat, Irkutsk, Russia
关键词
evolutionary algorithms; genetic algorithms; Boolean functions; ESOP; SEARCH;
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
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.
引用
收藏
页码:400 / 402
页数:3
相关论文
共 50 条
  • [1] NEW ALGORITHMS FOR SIMULTANEOUS MINIMIZATION OF BOOLEAN FUNCTIONS
    POGAREEV, AG
    AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1980, (01): : 34 - 41
  • [2] NEW ALGORITHMS FOR COMBINED MINIMIZATION OF BOOLEAN FUNCTIONS.
    Pogartsev, A.G.
    Automatic Control and Computer Sciences, 1980, 14 (01): : 31 - 37
  • [3] On Genetic Algorithms and Neural Networks for Boolean Functions Minimization
    Kazimirov, A. S.
    Reimerov, S. Y.
    PROCEEDINGS OF THE XIX IEEE INTERNATIONAL CONFERENCE ON SOFT COMPUTING AND MEASUREMENTS (SCM 2016), 2016, : 260 - 261
  • [4] Hyper-bent Boolean Functions and Evolutionary Algorithms
    Mariot, Luca
    Jakobovic, Domagoj
    Leporati, Alberto
    Picek, Stjepan
    GENETIC PROGRAMMING, EUROGP 2019, 2019, 11451 : 262 - 277
  • [5] Evolutionary Algorithms for Boolean Functions in Diverse Domains of Cryptography
    Picek, Stjepan
    Carlet, Claude
    Guilley, Sylvain
    Miller, Julian F.
    Jakobovic, Domagoj
    EVOLUTIONARY COMPUTATION, 2016, 24 (04) : 667 - 694
  • [6] Correlation Immunity of Boolean Functions: An Evolutionary Algorithms Perspective
    Picek, Stjepan
    Carlet, Claude
    Jakobovic, Domagoj
    Miller, Julian F.
    Batina, Lejla
    GECCO'15: PROCEEDINGS OF THE 2015 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 2015, : 1095 - 1102
  • [7] MINIMIZATION OF BOOLEAN FUNCTIONS
    BISWAS, NN
    IEEE TRANSACTIONS ON COMPUTERS, 1971, C 20 (08) : 925 - &
  • [8] MINIMIZATION OF BOOLEAN FUNCTIONS
    MCCLUSKEY, EJ
    BELL SYSTEM TECHNICAL JOURNAL, 1956, 35 (06): : 1417 - 1444
  • [9] Algorithms using first-order neighborhoods for minimization of Boolean functions
    A. V. Panov
    Computational Mathematics and Mathematical Physics, 2013, 53 : 1410 - 1420
  • [10] Evolutionary Algorithms-assisted Construction of Cryptographic Boolean Functions
    Carlet, Claude
    Jakobovic, Domagoj
    Picek, Stjepan
    PROCEEDINGS OF THE 2021 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE (GECCO'21), 2021, : 565 - 573