Consistency, optimality, and incompleteness.

Yijia Chen Jörg Flum Moritz Müller

Published in: Ann. Pure Appl. Log. (2013)

Keyphrases

optimal solution
incomplete information
consistency checking
real time
real world
machine learning
mobile robot
exhaustive search
global constraints
average cost
maintaining consistency