메뉴 건너뛰기




Volumn 129, Issue 1-2, 2001, Pages 91-131

A general scheme for automatic generation of search heuristics from specification dependencies

Author keywords

Automated reasoning; Heuristic search

Indexed keywords

APPROXIMATION THEORY; COMPUTATIONAL COMPLEXITY; DATA STRUCTURES; DATABASE SYSTEMS; DECISION THEORY; HEURISTIC METHODS; RANDOM PROCESSES;

EID: 0035369520     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(01)00107-2     Document Type: Article
Times cited : (73)

References (46)
  • 29
  • 43
    • 0026990050 scopus 로고
    • Reasoning MPE to multiply connected belief networks using message-passing
    • San Jose, CA
    • (1992) Proc. AAAI-92 , pp. 570-576
    • Sy, B.K.1


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