Functions as Passive Constraints in LIFE.

Hassan Aït-Kaci Andreas Podelski

Published in: ACM Trans. Program. Lang. Syst. (1994)

Keyphrases

constraint satisfaction
global constraints
bayesian networks
data model
co occurrence
constrained optimization
potential functions
linear constraints
constraint sets