메뉴 건너뛰기




Volumn 2627, Issue , 2003, Pages 144-158

The effect of nogood recording in DPLL-CBJ SAT algorithms

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER CIRCUITS; COMPUTER PROGRAMMING LANGUAGES; LOGIC PROGRAMMING; MODEL CHECKING; ALGORITHMS; ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY; PROBLEM SOLVING;

EID: 7044254606     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36607-5_11     Document Type: Conference Paper
Times cited : (7)

References (26)
  • 8
    • 0025228149 scopus 로고
    • Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition
    • January
    • R. Dechter. Enhancement schemes for constraint processing: backjumping, learning, and cutset decomposition. Artificial Intelligence, 41(3):273–312, January 1990.
    • (1990) Artificial Intelligence , vol.41 , Issue.3 , pp. 273-312
    • Dechter, R.1
  • 15
    • 49449120803 scopus 로고
    • Consistency in networks of relations
    • A. K. Mackworth. Consistency in networks of relations. Artificial Intelligence, 8(1):99–118, 1977.
    • (1977) Artificial Intelligence , vol.8 , Issue.1 , pp. 99-118
    • Mackworth, A.K.1
  • 19
    • 0001372340 scopus 로고
    • Hybrid algorithms for the constraint satisfaction problems
    • August
    • P. Prosser. Hybrid algorithms for the constraint satisfaction problems. Computational Intelligence, 9(3):268–299, August 1993.
    • (1993) Computational Intelligence , vol.9 , Issue.3 , pp. 268-299
    • Prosser, P.1
  • 23
    • 0017544789 scopus 로고
    • Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
    • October
    • R. M. Stallman and G. J. Sussman. Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. Artificial Intelligence, 9:135–196, October 1977.
    • (1977) Artificial Intelligence , vol.9 , pp. 135-196
    • Stallman, R.M.1    Sussman, G.J.2


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