Type Processing by Constraint Reasoning.

Peter J. Stuckey Martin Sulzmann Jeremy Wazny

Published in: APLAS (2006)

Keyphrases

constraint reasoning
constraint propagation
temporal constraints
real time
data processing
temporal reasoning
constraint satisfaction problems
high level
path consistency
neural network
artificial intelligence
three dimensional
objective function
relational databases
object oriented
linear programming