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
来源：
PROCEEDINGS OF 2017 XX IEEE INTERNATIONAL CONFERENCE ON SOFT COMPUTING AND MEASUREMENTS (SCM) | 2017年
关键词：
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
    [J]. AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1980, (01): : 34 - 41
  • [2] On Genetic Algorithms and Neural Networks for Boolean Functions Minimization
    Kazimirov, A. S.
    Reimerov, S. Y.
    [J]. PROCEEDINGS OF THE XIX IEEE INTERNATIONAL CONFERENCE ON SOFT COMPUTING AND MEASUREMENTS (SCM 2016), 2016, : 260 - 261
  • [3] Hyper-bent Boolean Functions and Evolutionary Algorithms
    Mariot, Luca
    Jakobovic, Domagoj
    Leporati, Alberto
    Picek, Stjepan
    [J]. GENETIC PROGRAMMING, EUROGP 2019, 2019, 11451 : 262 - 277
  • [4] Evolutionary Algorithms for Boolean Functions in Diverse Domains of Cryptography
    Picek, Stjepan
    Carlet, Claude
    Guilley, Sylvain
    Miller, Julian F.
    Jakobovic, Domagoj
    [J]. EVOLUTIONARY COMPUTATION, 2016, 24 (04) : 667 - 694
  • [5] Correlation Immunity of Boolean Functions: An Evolutionary Algorithms Perspective
    Picek, Stjepan
    Carlet, Claude
    Jakobovic, Domagoj
    Miller, Julian F.
    Batina, Lejla
    [J]. GECCO'15: PROCEEDINGS OF THE 2015 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 2015, : 1095 - 1102
  • [6] MINIMIZATION OF BOOLEAN FUNCTIONS
    BISWAS, NN
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1971, C 20 (08) : 925 - &
  • [7] MINIMIZATION OF BOOLEAN FUNCTIONS
    MCCLUSKEY, EJ
    [J]. BELL SYSTEM TECHNICAL JOURNAL, 1956, 35 (06): : 1417 - 1444
  • [8] Algorithms using first-order neighborhoods for minimization of Boolean functions
    A. V. Panov
    [J]. Computational Mathematics and Mathematical Physics, 2013, 53 : 1410 - 1420
  • [9] Algorithms Using First-Order Neighborhoods for Minimization of Boolean Functions
    Panov, A. V.
    [J]. COMPUTATIONAL MATHEMATICS AND MATHEMATICAL PHYSICS, 2013, 53 (09) : 1410 - 1420
  • [10] Evolutionary Algorithms-assisted Construction of Cryptographic Boolean Functions
    Carlet, Claude
    Jakobovic, Domagoj
    Picek, Stjepan
    [J]. PROCEEDINGS OF THE 2021 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE (GECCO'21), 2021, : 565 - 573
12345