Login / Signup
On Completeness of Cost Metrics and Meta-Search Algorithms in $-Calculus.
Eugene Eberbach
Published in:
Fundam. Informaticae (2022)
Keyphrases
</>
heuristic function
search algorithm
heuristic search
search tree
search space
branch and bound
software engineering
logic programs
constraint satisfaction problems
provably correct