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] 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
  • [2] 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
  • [3] 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
  • [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 Construction of Perfectly Balanced Boolean Functions
    Mariot, Luca
    Picek, Stjepan
    Jakobovic, Domagoj
    Djurasevic, Marko
    Leporati, Alberto
    2022 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2022,
  • [6] Running time analysis of multiobjective evolutionary algorithms on Pseudo-Boolean functions
    Laumanns, M
    Thiele, L
    Zitzler, E
    IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION, 2004, 8 (02) : 170 - 182
  • [7] A survey of metaheuristic algorithms for the design of cryptographic Boolean functions
    Djurasevic, Marko
    Jakobovic, Domagoj
    Mariot, Luca
    Picek, Stjepan
    CRYPTOGRAPHY AND COMMUNICATIONS-DISCRETE-STRUCTURES BOOLEAN FUNCTIONS AND SEQUENCES, 2023, 15 (06): : 1171 - 1197
  • [8] Modification of conjuncterms splitting method of Boolean functions minimization
    Minzyuk, Vadym
    TCSET 2006: MODERN PROBLEMS OF RADIO ENGINEERING, TELECOMMUNICATIONS AND COMPUTER SCIENCE, PROCEEDINGS, 2006, : 81 - 82
  • [9] Evolutionary Methods for the Construction of Cryptographic Boolean Functions
    Picek, Stjepan
    Jakobovic, Domagoj
    Miller, Julian F.
    Marchiori, Elena
    Batina, Lejla
    GENETIC PROGRAMMING (EUROGP 2015), 2015, 9025 : 192 - 204
  • [10] A General Dichotomy of Evolutionary Algorithms on Monotone Functions
    Lengler, Johannes
    IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION, 2020, 24 (06) : 995 - 1009
12345