메뉴 건너뛰기




Volumn 2038, Issue , 2001, Pages 1-10

Heuristic learning based on genetic programming

Author keywords

[No Author keywords available]

Indexed keywords

BINARY DECISION DIAGRAMS; GENETIC ALGORITHMS; HEURISTIC PROGRAMMING;

EID: 0037908000     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45355-5_1     Document Type: Conference Paper
Times cited : (3)

References (14)
  • 1
    • 0022769976 scopus 로고
    • Graph-based algorithms for Boolean function manipulation
    • R.E. Bryant. Graph-based algorithms for Boolean function manipulation. IEEE Trans. on Comp., 8:677-691, 1986.
    • (1986) IEEE Trans. On Comp. , vol.8 , pp. 677-691
    • Bryant, R.E.1
  • 2
    • 0030246260 scopus 로고    scopus 로고
    • Improving the variable ordering of OBDDs is NP-complete
    • B. Bollig and I. Wegener. Improving the variable ordering of OBDDs is NP-complete. IEEE Trans. on Comp., vol. 45, num. 9, pages 993-1002, 1996.
    • (1996) IEEE Trans. On Comp., Vol. 45, Num. , vol.9 , pp. 993-1002
    • Bollig, B.1    Wegener, I.2
  • 4
  • 7
    • 84937399878 scopus 로고    scopus 로고
    • A new model for multi-objective optimization in evolutionary algorithms
    • N. Drechsler, R. Drechsler, and B. Becker. A new model for multi-objective optimization in evolutionary algorithms. In Fuzzy’99, LNCS 1625, pages 108-117, 1999.
    • (1999) Fuzzy’99, LNCS , vol.1625 , pp. 108-117
    • Drechsler, N.1    Drechsler, R.2    Becker, B.3
  • 8
    • 84958959413 scopus 로고    scopus 로고
    • Learning heuristics for OBDD minimization by evolutionary algorithms
    • R. Drechsler, N. G ckel, and B. Becker. Learning heuristics for OBDD minimization by evolutionary algorithms. In PPSN’96, LNCS 1141, pages 730-739, 1996.
    • (1996) PPSN’96, LNCS , vol.1141 , pp. 730-739
    • Drechsler, R.1    Ckel, N.G.2    Becker, B.3
  • 9
    • 0027047925 scopus 로고
    • On variable ordering of binary decision diagrams for the application of multi-level synthesis
    • M. Fujita, Y. Matsunga, and T. Kakuda. On variable ordering of binary decision diagrams for the application of multi-level synthesis. In European Conf. on Design Automation, pages 50-54, 1991.
    • (1991) European Conf. On Design Automation , pp. 50-54
    • Fujita, M.1    Matsunga, Y.2    Kakuda, T.3
  • 12
    • 0029487141 scopus 로고
    • Who are the variables in your neighborhood
    • S. Panda and F. Somenzi. Who are the variables in your neighborhood. In Int’l Conf. on CAD, pages 74-77, 1995.
    • (1995) Int’l Conf. On CAD , pp. 74-77
    • Panda, S.1    Somenzi, F.2
  • 13
    • 0027001101 scopus 로고
    • Functional approaches to generating orderings for efficient symbolic representations
    • D.E. Ross, K.M. Butler, R. Kapur, and M.R. Mercer. Functional approaches to generating orderings for efficient symbolic representations. In Design Automation Conf., pages 624-627, 1992.
    • (1992) Design Automation Conf , pp. 624-627
    • Ross, D.E.1    Butler, K.M.2    Kapur, R.3    Mercer, M.R.4
  • 14
    • 0027841555 scopus 로고
    • Dynamic variable ordering for ordered binary d ecision diagrams
    • R. Rudell. Dynamic variable ordering for ordered binary d ecision diagrams. In Int’l Conf. on CAD, pages 42-47, 1993.
    • (1993) Int’l Conf. On CAD , pp. 42-47
    • Rudell, R.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.