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