Program Analysis Using Mixed Term and Set Constraints.

Manuel Fähndrich Alexander Aiken

Published in: SAS (1997)

Keyphrases

small number
constraint satisfaction
database
computer vision
training set
probability distribution
minimum cost
lower and upper bounds
constraint sets