An interval constraint system for lattice domains.

Antonio J. Fernández Patricia M. Hill

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

Keyphrases

application domains
real world
linear constraints
temporal intervals
databases
learning algorithm
website
constraint solving