메뉴 건너뛰기




Volumn , Issue , 2003, Pages 227-232

Non-binary constraints and optimal dual-graph representations

Author keywords

[No Author keywords available]

Indexed keywords

BICONNECTED COMPONENTS; DECOMPOSITION METHODS; GRAPH-BASED METHODS; NON-BINARY CONSTRAINTS; STRUCTURAL METHODS; TRACTABLE CLASS; TREE DECOMPOSITION; TREE-WIDTH;

EID: 31144459618     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (5)

References (13)
  • 2
    • 0003505668 scopus 로고    scopus 로고
    • Conjunctive Query Containment Revisited
    • Ch. Chekuri and A. Rajaraman. Conjunctive Query Containment Revisited. Theoretical Computer Science, 239(2):211-229, 2000.
    • (2000) Theoretical Computer Science , vol.239 , Issue.2 , pp. 211-229
    • Chekuri, Ch.1    Rajaraman, A.2
  • 3
    • 0001853314 scopus 로고
    • Constraint Networks
    • second edition, Wiley and Sons
    • R. Dechter. Constraint Networks. In Encyclopedia of Artificial Intelligence, second edition, Wiley and Sons, pp. 276-285, 1992.
    • (1992) Encyclopedia of Artificial Intelligence , pp. 276-285
    • Dechter, R.1
  • 4
    • 0023842374 scopus 로고
    • Network based heuristics for constraint satisfaction problems
    • R. Dechter and J. Pearl. Network based heuristics for constraint satisfaction problems. Artificial Intelligence, 34(1): 1-38, 1988.
    • (1988) Artificial Intelligence , vol.34 , Issue.1 , pp. 1-38
    • Dechter, R.1    Pearl, J.2
  • 5
    • 0024640050 scopus 로고
    • Tree clustering for constraint networks
    • R. Dechter and J. Pearl. Tree clustering for constraint networks. Artificial Intelligence, 38:353-366,1989.
    • (1989) Artificial Intelligence , vol.38 , pp. 353-366
    • Dechter, R.1    Pearl, J.2
  • 6
    • 0022144787 scopus 로고
    • A sufficient condition for backtrack-bounded search
    • E.C. Freuder. A sufficient condition for backtrack-bounded search. Journal of the ACM, 32(4):755-761,1985.
    • (1985) Journal of the ACM , vol.32 , Issue.4 , pp. 755-761
    • Freuder, E.C.1
  • 7
    • 0034515087 scopus 로고    scopus 로고
    • Comparison of structural CSP decomposition methods
    • DOI 10.1016/S0004-3702(00)00078-3
    • G. Gottlob, N. Leone, and F. Scarcello. A Comparison of Structural CSP Decomposition Methods. Artificial Intelligence, 124(2): 243-282,2000. (Pubitemid 32029459)
    • (2000) Artificial Intelligence , vol.124 , Issue.2 , pp. 243-282
    • Gottlob, G.1    Leone, N.2    Scarcello, F.3
  • 9
    • 0028400405 scopus 로고
    • Decomposing constraint satisfaction problems using database techniques
    • M. Gyssens, P.G. Jeavons, and D.A. Cohen. Decomposing constraint satisfaction problems using database techniques. Artificial Intelligence, 66:57-89, 1994.
    • (1994) Artificial Intelligence , vol.66 , pp. 57-89
    • Gyssens, M.1    Jeavons, P.G.2    Cohen, D.A.3
  • 10
    • 0034295721 scopus 로고    scopus 로고
    • Conjunctive-Query Containment and Constraint Satisfaction
    • Ph. G. Kolaitis and M. Y. Vardi. Conjunctive-Query Containment and Constraint Satisfaction. Journal of Computer and System Sciences, 61(2): 302-332,2000.
    • (2000) Journal of Computer and System Sciences , vol.61 , Issue.2 , pp. 302-332
    • Kolaitis, Ph.G.1    Vardi, M.Y.2
  • 12
    • 0000673493 scopus 로고
    • Graph Minors I I. Algorithmic aspects of tree width
    • N. Robertson and P.D. Seymour. Graph Minors I I . Algorithmic aspects of tree width. Journal of Algorithms, 7:309-322, 1986.
    • (1986) Journal of Algorithms , vol.7 , pp. 309-322
    • Robertson, N.1    Seymour, P.D.2
  • 13
    • 0019646085 scopus 로고    scopus 로고
    • A new method for solving constraint satisfaction problems
    • R. Seidel. A new method for solving constraint satisfaction problems. In Proc. of IJCAI'81, 1981.
    • Proc. of IJCAI'81, 1981
    • Seidel, R.1


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