![]() |
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;
BRANCH-AND-BOUND THEORY;
MINI-BUCKET ELIMINATION THEORY;
PARAMETERIZED APPROXIMATION METHODS;
ARTIFICIAL INTELLIGENCE;
|
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)
|