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 条
  • [41] Algorithms counting monotone Boolean functions
    Fidytek, R
    Mostowski, AW
    Somla, R
    Szepietowski, A
    INFORMATION PROCESSING LETTERS, 2001, 79 (05) : 203 - 209
  • [42] Boolean Functions: Theory, Algorithms, and Applications
    de Werra, Dominique
    INTERFACES, 2012, 42 (05) : 509 - 511
  • [43] ALGORITHMS CONNECTED WITH PREDICATES AND BOOLEAN FUNCTIONS
    PETRI, NV
    DOKLADY AKADEMII NAUK SSSR, 1969, 185 (01): : 37 - &
  • [44] SOME MINIMIZING ALGORITHMS OF BOOLEAN FUNCTIONS
    PASZTORVARGA, K
    ACTA TECHNICA ACADEMIAE SCIENTIARUM HUNGARICAE, 1972, 73 (3-4): : 349 - 362
  • [45] Quantum algorithms for testing Boolean functions
    Floess, Dominik F.
    Andersson, Erika
    Hillery, Mark
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (26): : 101 - 108
  • [46] NORMAL ALGORITHMS FOR COMPUTATION OF BOOLEAN FUNCTIONS
    MARKOV, AA
    DOKLADY AKADEMII NAUK SSSR, 1964, 157 (02): : 262 - &
  • [47] A Lower Bound Analysis of Population-Based Evolutionary Algorithms for Pseudo-Boolean Functions
    Qian, Chao
    Yu, Yang
    Zhou, Zhi-Hua
    INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2016, 2016, 9937 : 457 - 467
  • [48] MINIMIZATION OF BOOLEAN FUNCTIONS IN THE CLASS OF CANONICAL POLARIZED POLYNOMIALS
    SUPRUN, VP
    AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1987, (04): : 88 - 89
  • [49] MINIMIZATION OF ARGUMENT LITERAL NUMBER IN A SYSTEM OF BOOLEAN FUNCTIONS
    ZAKREVSKII, AD
    DOKLADY AKADEMII NAUK BELARUSI, 1978, 22 (03): : 248 - 250
  • [50] 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
12345