메뉴 건너뛰기




Volumn 2773 PART 1, Issue , 2003, Pages 393-400

Arc consistency for dynamic CSPs

Author keywords

Constraint Satisfaction; Dynamic Arc Consistency; Search

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; GRAPH THEORY; POLYNOMIALS; SCHEDULING; KNOWLEDGE BASED SYSTEMS; MOLECULAR BIOLOGY;

EID: 8344258003     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-45224-9_55     Document Type: Conference Paper
Times cited : (13)

References (14)
  • 1
    • 49449120803 scopus 로고
    • Consistency in networks of relations
    • A. K. Mackworth. Consistency in networks of relations. Artificial Intelligence, 8:99-118, 1977.
    • (1977) Artificial Intelligence , vol.8 , pp. 99-118
    • Mackworth, A.K.1
  • 2
    • 0019067870 scopus 로고
    • Increasing tree search efficiency for constraint satisfaction problems
    • R. M. Haralick and G. L. Elliott. Increasing tree search efficiency for Constraint Satisfaction Problems. Artificial Intelligence, 14:263-313, 1980.
    • (1980) Artificial Intelligence , vol.14 , pp. 263-313
    • Haralick, R.M.1    Elliott, G.L.2
  • 4
    • 77952492430 scopus 로고
    • Arc-consistency in dynamic constraint satisfaction problems
    • Anaheim, CA
    • C. Bessière. Arc-consistency in dynamic constraint satisfaction problems. In AAAI'91, pages 221-226, Anaheim, CA, 1991.
    • (1991) AAAI'91 , pp. 221-226
    • Bessière, C.1
  • 5
    • 0029424226 scopus 로고
    • Les algorithmes d'arc-consistance dans les csp dynamiques
    • R. Debruyne. Les algorithmes d'arc-consistance dans les csp dynamiques. Revue d'Intelligence Artificielle, 9:239-267, 1995.
    • (1995) Revue d'Intelligence Artificielle , vol.9 , pp. 239-267
    • Debruyne, R.1
  • 6
    • 84877983661 scopus 로고
    • Maintaining arc consistency through constraint retraction
    • B. Neuveu and P. Berlandier. Maintaining arc consistency through constraint retraction. In ICTAI'94, pages 426-431, 1994.
    • (1994) ICTAI'94 , pp. 426-431
    • Neuveu, B.1    Berlandier, P.2
  • 7
    • 0022677637 scopus 로고
    • Arc and path consistency revisited
    • R. Mohr and T. Henderson. Arc and path consistency revisited. Artificial Intelligence, 28:225-233, 1986.
    • (1986) Artificial Intelligence , vol.28 , pp. 225-233
    • Mohr, R.1    Henderson, T.2
  • 8
    • 0028336331 scopus 로고
    • Arc-consistency and arc-consistency again
    • C. Bessière. Arc-consistency and arc-consistency again. Artificial Intelligence, 65:179-190, 1994.
    • (1994) Artificial Intelligence , vol.65 , pp. 179-190
    • Bessière, C.1
  • 9
    • 0002812302 scopus 로고
    • Using inference to reduce arc consistency computation
    • Montréal, Canada
    • C. Bessière, E. Freuder, and J. C. Regin. Using inference to reduce arc consistency computation. In IJCAI'95, pages 592-598, Montréal, Canada, 1995.
    • (1995) IJCAI'95 , pp. 592-598
    • Bessière, C.1    Freuder, E.2    Regin, J.C.3
  • 10
    • 0004772520 scopus 로고
    • Why AC-3 is almost always better than AC-4 for establishing arc consistency in CSPs
    • Chambery, France
    • R. J. Wallace. Why AC-3 is almost always better than AC-4 for establishing arc consistency in CSPs. In IJCAI'93, pages 239-245, Chambery, France, 1993.
    • (1993) IJCAI'93 , pp. 239-245
    • Wallace, R.J.1
  • 13
    • 0021828305 scopus 로고
    • The complexity of some polynomial networkconsistency algorithms for constraint satisfaction problems
    • A. K. Mackworth and E. Freuder. The complexity of some polynomial networkconsistency algorithms for constraint satisfaction problems. Artificial Intelligence, 25:65-74, 1985.
    • (1985) Artificial Intelligence , vol.25 , pp. 65-74
    • Mackworth, A.K.1    Freuder, E.2
  • 14
    • 0002146217 scopus 로고
    • Contradicting conventional wisdom in constraint satisfaction
    • Amsterdam, Holland
    • D. Sabin and E. C. Freuder. Contradicting conventional wisdom in constraint satisfaction. In Proc. 11th ECAI, pages 125-129, Amsterdam, Holland, 1994.
    • (1994) Proc. 11th ECAI , pp. 125-129
    • Sabin, D.1    Freuder, E.C.2


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