메뉴 건너뛰기




Volumn 2239, Issue , 2001, Pages 332-345

New lower bounds of constraint violations for over-constrained problems

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; CONSTRAINT THEORY;

EID: 84947944339     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45578-7_23     Document Type: Conference Paper
Times cited : (15)

References (9)
  • 3
    • 28844447918 scopus 로고
    • Explanation-based generalization of failures
    • J.L. de Siqueira N. and J. Puget. Explanation-based generalization of failures. Proceedings ECAI, pages 339–344, 1988.
    • (1988) Proceedings ECAI , pp. 339-344
    • De Siqueira, J.L.1    Puget, J.2
  • 5
    • 33750363286 scopus 로고    scopus 로고
    • Partition-based lower bound for max-csp
    • J. Larrossa and P. Meseguer. Partition-based lower bound for max-csp. Proceedings CP, pages 303–315, 1999.
    • (1999) Proceedings CP , pp. 303-315
    • Larrossa, J.1    Meseguer, P.2
  • 6
    • 84888780000 scopus 로고    scopus 로고
    • Meta constraints on violations for over constrained problems
    • T. Petit, J. Règin, and C. Bessière. Meta constraints on violations for over constrained problems. Proceedings ICTAI, 2000.
    • (2000) Proceedings ICTAI
    • Petit, T.1    Règin, J.2    Bessière, C.3
  • 8
    • 0030368582 scopus 로고    scopus 로고
    • Russian doll search for solving constraint optimisation problems
    • G. Verfaillie, M. Lemaître, and T. Schiex. Russian doll search for solving constraint optimisation problems. Proceedings AAAI, pages 181–187, 1996.
    • (1996) Proceedings AAAI , pp. 181-187
    • Verfaillie, G.1    Lemaître, M.2    Schiex, T.3
  • 9
    • 0041884687 scopus 로고
    • Directed arc consistency preprocessing as a strategy for maximal constraint satisfaction
    • R. Wallace. Directed arc consistency preprocessing as a strategy for maximal constraint satisfaction. Proceedings ECAI, pages 69–77, 1994.
    • (1994) Proceedings ECAI , pp. 69-77
    • Wallace, R.1


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