Author:
Publication: Artificial Intelligence
Rational deployment of multiple heuristics in optimal state-space search
Constants and finite unary relations in qualitative constraint reasoning