Decidability of Systems of Set Constraints with Negative Constraints

Alexander Aiken Dexter Kozen Edward L. Wimmers

Published in: Inf. Comput. (1995)

Keyphrases

global constraints
constraint satisfaction problems
small number
intelligent systems
database
learning algorithm
artificial intelligence
decision trees
relational databases
evolutionary algorithm
input data
np complete
lower and upper bounds
linear constraints