메뉴 건너뛰기




Volumn 2234, Issue , 2001, Pages 191-200

How to employ reverse search in distributed single source shortest paths

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

EID: 33749629580     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45627-9_16     Document Type: Conference Paper
Times cited : (3)

References (11)
  • 1
    • 0001194185 scopus 로고    scopus 로고
    • Reverse search for enumeration
    • D. Avis and K. Fukuda. Reverse search for enumeration. Discrete Appl. Math., 65:21–46, 1996.
    • (1996) Discrete Appl. Math. , vol.65 , pp. 21-46
    • Avis, D.1    Fukuda, K.2
  • 3
    • 0001860785 scopus 로고    scopus 로고
    • Negative-cycle detection algorithms
    • Springer-Verlag
    • B. V. Cherkassky and A. V. Goldberg. Negative-cycle detection algorithms. Mathematical Programming, Springer-Verlag, 85:277–311, 1999.
    • (1999) Mathematical Programming , vol.85 , pp. 277-311
    • Cherkassky, B.V.1    Goldberg, A.V.2
  • 4
    • 0030367403 scopus 로고    scopus 로고
    • Efficient parallel shortest-paths in digraphs with a separator decomposition
    • E. Cohen. Efficient parallel shortest-paths in digraphs with a separator decomposition. Journal of Algorithms, 21(2):331–357, 1996.
    • (1996) Journal of Algorithms , vol.21 , Issue.2 , pp. 331-357
    • Cohen, E.1
  • 8
    • 84957020775 scopus 로고    scopus 로고
    • Exhaustive search, combinatorial optimization anden umeration: Exploring the potential of raw computing power
    • Springer
    • J. Nievergelt. Exhaustive search, combinatorial optimization anden umeration: Exploring the potential of raw computing power. In SOFSEM 2000, number 1963 in LNCS, pages 18–35. Springer, 2000.
    • (2000) SOFSEM 2000, Number 1963 in LNCS , pp. 18-35
    • Nievergelt, J.1
  • 9
    • 0003168631 scopus 로고
    • On finding and updating shortest paths distributively
    • K. Ramarao and S. Venkatesan. On finding and updating shortest paths distributively. Journal of Algorithms, 13:235–257, 1992.
    • (1992) Journal of Algorithms , vol.13 , pp. 235-257
    • Ramarao, K.1    Venkatesan, S.2
  • 11
    • 0022987223 scopus 로고
    • An automata-theoretic approach to automatic program verification (Preliminary report)
    • Computer Society Press
    • M. Y. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification (preliminary report). In 1st Symp. on Logic in Computer Science, LICS’86, pages 332–344. Computer Society Press, 1986.
    • (1986) 1St Symp. On Logic in Computer Science, LICS’86, , pp. 332-344
    • Vardi, M.Y.1    Wolper, P.2


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