Simplifying Subtyping Constraints: A Theory.

François Pottier

Published in: Inf. Comput. (2001)

Keyphrases

global constraints
neural network
information systems
expert systems
computational model
theoretical framework
constraint satisfaction
constrained optimization
theoretical basis
real world
genetic algorithm
temporal reasoning
linear constraints