Variable ordering for TBDD based on genetic algorithm

被引：0
|
作者：
Long, Wangning [1 ]
Yang, Shiyuan [1 ]
Tong, Shibai [1 ]
Min, Yinghua [1 ]
机构：
[1] Tsinghua Univ, Beijing, China
来源：
Tien Tzu Hsueh Pao/Acta Electronica Sinica | 1998年 / 26卷 / 04期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1 / 6
相关论文
共 50 条
  • [1] Genetic algorithm for variable ordering of OBDDs
    Drechsler, R
    Becker, B
    Gockel, N
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1996, 143 (06): : 364 - 368
  • [2] The variable ordering of binary decision diagram based on Genetic Algorithm
    Li, XY
    Chen, GJ
    ICEMI'99: FOURTH INTERNATIONAL CONFERENCE ON ELECTRONIC MEASUREMENT & INSTRUMENTS, VOLS 1 AND 2, CONFERENCE PROCEEDINGS, 1999, : 920 - 924
  • [3] Coevolutionary Genetic Algorithm for Variable Ordering in CSPs
    Karim, Muhammad Rezaul
    Mouhoub, Malek
    2014 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2014, : 2716 - 2723
  • [4] Improved variable ordering of BDDs with novel genetic algorithm
    Zhuang, N
    Benten, MST
    Cheung, PYK
    ISCAS 96: 1996 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS - CIRCUITS AND SYSTEMS CONNECTING THE WORLD, VOL 3, 1996, : 414 - 417
  • [5] Static segregative genetic algorithm for optimizing variable ordering of ROBDDs
    Brudaru, Octav
    Rotaru, Cristian
    Furdu, Iulian
    13TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2011), 2012, : 222 - 229
  • [6] Dynamic Segregative Genetic Algorithm for Optimizing the Variable Ordering of ROBDDs
    Rotaru, Cristian
    Brudaru, Octav
    PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL CONFERENCE ON GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 2012, : 657 - 664
  • [7] Optimizing Variable Ordering of BDDs with Double Hybridized Embryonic Genetic Algorithm
    Brudaru, Octav
    Ebendt, Ruediger
    Furdu, Iulian
    12TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2010), 2011, : 167 - 173
  • [8] Multi-grid cellular genetic algorithm for optimizing variable ordering of ROBDDs
    Rotaru, Cristian
    Brudaru, Octav
    2012 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2012,
  • [9] Grammar-Based Genetic Programming for Evolving Variable Ordering Heuristics
    Sosa-Ascencio, Alejandro
    Terashima-Marin, Hugo
    Valenzuela-Rendon, Manuel
    2013 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2013, : 1154 - 1161
  • [10] A genetic algorithm based variable structure Neural Network
    Ling, SH
    Lam, HK
    Leung, FHF
    Lee, YS
    IECON'03: THE 29TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1 - 3, PROCEEDINGS, 2003, : 436 - 441
12345