Solving Equational Constraints in Polymorphic Types.

Published in: LFCS (1992)

Keyphrases

linear programming problems
constraint satisfaction
neural network
database systems
global constraints
solving problems
constrained problems
database
databases
evolutionary algorithm
linear programming
constrained optimization
quadratic programming
linear constraints
lp relaxation
mixed integer program