Formalization of Variables Access Constraints to Support Compositionality of Liveness Properties.

I. S. W. B. Prasetya

Published in: HUG (1993)

Keyphrases

constraint sets
constraint satisfaction
knowledge representation
constraint programming
finite domain
database
end users
e government
variable selection
constrained optimization
causal relationships
linear constraints
cardinality constraints
equality constraints
convex constraints