Login / Signup

Solving Linear, Min and Max Constraint Systems Using CLP Based on Relational Interval Arithmetic.

Pierre GirodiasEduard CernyWilliam J. Older
Published in: Theor. Comput. Sci. (1997)
Keyphrases
  • constraint propagation
  • data model
  • relational databases
  • piecewise linear
  • real time
  • fuzzy sets
  • knowledge based systems
  • provably correct
  • integer arithmetic