Implication and axiomatization of functional and constant constraints.

Jelle Hellings Marc Gyssens Jan Paredaens Yuqing Wu

Published in: Ann. Math. Artif. Intell. (2016)

Keyphrases

complete axiomatization
constraint satisfaction
genetic algorithm
situation calculus
multiple constraints
image processing
geometric constraints
constrained optimization