A KBMS for BABYLON.

Dieter Hovekamp Michael Sandfuchs

Published in: IS/KI (1990)

Keyphrases

constraint satisfaction
constraint satisfaction problems
heuristic search
search space
search algorithm
special case
np hard
lower bound
objective function