Constructive Negation of Arithmetic Constraints Using Dataflow Graphs.

Published in: Constraints An Int. J. (1997)

Keyphrases

arithmetic constraints
graph transformation
constraint satisfaction problems
arc consistency
relational calculus
logic programs
directed graph
database
decision making
multi objective
object oriented
multi dimensional
distributed systems
expressive power
multiple attributes