Sémantique formelle des opérateurs d'un langage de listes.

Richard Castanet

Published in: RAIRO Theor. Informatics Appl. (1974)

Keyphrases

arc consistency
search algorithm
linear programming
optimal solution
lower bound
heuristic search
contextual information