메뉴 건너뛰기




Volumn 1984, Issue , 2001, Pages 253-258

k-layer straightline crossing minimization by speeding up sifting

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

EID: 84958544869     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44541-2_24     Document Type: Conference Paper
Times cited : (7)

References (10)
  • 1
    • 0022769976 scopus 로고
    • Graph - Based algorithms for Boolean function manipulation
    • R.E. Bryant. Graph - based algorithms for Boolean function manipulation. IEEE Trans. on Comp., 35(8):677-691, 1986.
    • (1986) IEEE Trans. On Comp. , vol.35 , Issue.8 , pp. 677-691
    • Bryant, R.E.1
  • 2
    • 0032638517 scopus 로고    scopus 로고
    • Using lower bounds during dynamic BDD minimization
    • R. Drechsler and W. Günther. Using lower bounds during dynamic BDD minimization. In Design Automation Conf., pages 29-32, 1999.
    • (1999) Design Automation Conf , pp. 29-32
    • Drechsler, R.1    Günther, W.2
  • 4
    • 0002468332 scopus 로고    scopus 로고
    • 2-layer straightline crossing minimization: Performance of exact and heuristic algorithms
    • M. Jünger and P. Mutzel. 2-layer straightline crossing minimization: Performance of exact and heuristic algorithms. Journal of Graph Algorithms and Applications, 1(1):1-25, 1997.
    • (1997) Journal of Graph Algorithms and Applications , vol.1 , Issue.1 , pp. 1-25
    • Jünger, M.1    Mutzel, P.2
  • 5
    • 0031376020 scopus 로고    scopus 로고
    • Arc crossing minimization in hierarchical digraphs with tabu search
    • M. Laguna, R. Martí and V. Valls. Arc crossing minimization in hierarchical digraphs with tabu search. Computers and Operations Research, 24(12):1175-1186, 1997.
    • (1997) Computers and Operations Research , vol.24 , Issue.12 , pp. 1175-1186
    • Laguna, M.1    Martí, R.2    Valls, V.3
  • 9
    • 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
  • 10
    • 0027841555 scopus 로고
    • Dynamic variable ordering for ordered binary decision diagrams
    • R. Rudell. Dynamic variable ordering for ordered binary decision 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가 분석하여 추출한 것입니다.