Universally Quantified Interval Constraints

This publication has 10 references indexed in Scilit:

• Outer Estimation of Generalized Solution Sets to Interval Linear Systems
  Published by Springer Nature ,1999
• Screen‐Space Constraints for Camera Movements: the Virtual Cameraman
  Computer Graphics Forum, 1998
• A Constraint Satisfaction Approach to a Circuit Design Problem
  Journal of Global Optimization, 1998
• Applying interval arithmetic to real, integer, and boolean constraints
  The Journal of Logic Programming, 1997
• Numerica
  Published by MIT Press ,1997
• Consistency techniques for continuous constraints
  Constraints, 1996
• IMACS-GAMM International Symposium on Numerical Methods and Error Bounds
  Reliable Computing, 1995
• Chemical equilibrium systems as numerical test problems
  ACM Transactions on Mathematical Software, 1990
• Output feedback stabilization and related problems-solution via decision methods
  IEEE Transactions on Automatic Control, 1975
• Quantifier elimination for real closed fields by cylindrical algebraic decompostion
  Published by Springer Nature ,1975