Declarative Programming of Search Problems with Built-in Arithmetic.

Eugenia Ternovska David G. Mitchell

Published in: IJCAI (2009)

Keyphrases

search problems
declarative programming
search algorithm
orders of magnitude
heuristic search
answer set programming
search strategies
logic programming
heuristic search algorithms
search space
iterative deepening
logic programs
information retrieval systems
constraint satisfaction problems
branch and bound