Compiling Ramification Constraints into Effect Axioms.

Published in: Comput. Intell. (1999)

Keyphrases

constraint satisfaction
constraint programming
multiple constraints
database
linear constraints
reasoning about actions
computer vision
decision trees
constrained optimization