SALSA: A Language for Search Algorithms.

François Laburthe Yves Caseau

Published in: CP (1998)

Keyphrases

search algorithm
programming language
language learning
language processing
english language
database
search space
software engineering
heuristic search
branch and bound
satisfiability problem
target language
path finding
specification language
formal language