메뉴 건너뛰기




Volumn 90, Issue 1-2, 1997, Pages 1-24

Fundamental properties of neighbourhood substitution in constraint satisfaction problems

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMBINATORIAL MATHEMATICS; CONVERGENCE OF NUMERICAL METHODS; PROBLEM SOLVING;

EID: 0031071334     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0004-3702(96)00018-5     Document Type: Article
Times cited : (29)

References (12)
  • 2
    • 0028336331 scopus 로고
    • Arc-consistency and arc-consistency again
    • C. Bessière, Arc-consistency and arc-consistency again, Artif. Intell. 65 (1) (1994) 179-190.
    • (1994) Artif. Intell. , vol.65 , Issue.1 , pp. 179-190
    • Bessière, C.1
  • 3
    • 0024771631 scopus 로고
    • An optimal k-consistency algorithm
    • M.C. Cooper, An optimal k-consistency algorithm, Artif. Intell. 41 (1990) 89-95.
    • (1990) Artif. Intell. , vol.41 , pp. 89-95
    • Cooper, M.C.1
  • 4
    • 0018031196 scopus 로고
    • Synthesizing constraint expressions
    • E.C. Freuder, Synthesizing constraint expressions. Commun. ACM 21 (11) (1978) 958-966.
    • (1978) Commun. ACM , vol.21 , Issue.11 , pp. 958-966
    • Freuder, E.C.1
  • 5
    • 84958062112 scopus 로고
    • Eliminating interchangeable values in constraint satisfaction problems
    • Anaheim, CA
    • E.C. Freuder, Eliminating interchangeable values in constraint satisfaction problems, in: Proceedings AAAI-91, Anaheim, CA (1991) 227-233.
    • (1991) Proceedings AAAI-91 , pp. 227-233
    • Freuder, E.C.1
  • 6
    • 0024067513 scopus 로고
    • Comments on Mohr and Henderson's path consistency algorithm
    • C. Han and C. Lee, Comments on Mohr and Henderson's path consistency algorithm, Artif. Intell. 36 (1988) 125-130.
    • (1988) Artif. Intell. , vol.36 , pp. 125-130
    • Han, C.1    Lee, C.2
  • 7
    • 18844469465 scopus 로고
    • A substitution operation for constraints
    • Lecture Notes in Computer Science Springer, Berlin
    • P.G. Jeavons, D.A. Cohen and M.C. Cooper, A substitution operation for constraints, in: Proceedings PPCP94. Lecture Notes in Computer Science 874 (Springer, Berlin, 1994) 1-9.
    • (1994) Proceedings PPCP94. , vol.874 , pp. 1-9
    • Jeavons, P.G.1    Cohen, D.A.2    Cooper, M.C.3
  • 8
    • 49449120803 scopus 로고
    • Consistency in networks of relations
    • A.K. Mackworth, Consistency in networks of relations, Artif. Intell. 8 (1977) 99-118.
    • (1977) Artif. Intell. , vol.8 , pp. 99-118
    • Mackworth, A.K.1
  • 9
    • 0022677637 scopus 로고
    • Arc and path consistency revisited
    • R. Mohr and T.C. Henderson, Arc and path consistency revisited, Artif. Intell. 28 (1986) 225-233.
    • (1986) Artif. Intell. , vol.28 , pp. 225-233
    • Mohr, R.1    Henderson, T.C.2
  • 10
    • 0016050041 scopus 로고
    • Networks of constraints: Fundamental properties and applications to picture processing
    • U. Montanari, Networks of constraints: fundamental properties and applications to picture processing, Information Sci. 7 (1974) 95-132.
    • (1974) Information Sci. , vol.7 , pp. 95-132
    • Montanari, U.1
  • 12
    • 0002680001 scopus 로고
    • Understanding line drawings of scenes with shadows
    • P.H. Winston, ed., McGraw-Hill, New York
    • D.L. Waltz, Understanding line drawings of scenes with shadows, in: P.H. Winston, ed., The Psychology of Computer Vision (McGraw-Hill, New York, 1975).
    • (1975) The Psychology of Computer Vision
    • Waltz, D.L.1


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