Symbolic-interval cooperation in constraint programming

This publication has 37 references indexed in Scilit:

• Non-linear real constraints in constraint logic programming
  Published by Springer Nature ,2005
• On the numerical condition of polynomials in Bernstein form
  Published by Elsevier ,2003
• Solving strict polynomial inequalities by Bernstein expansion
  Published by Institution of Engineering and Technology (IET) ,1999
• Cooperation of Constraint Solvers: Using the New Process Control Facilities of ELAN
  Electronic Notes in Theoretical Computer Science, 1998
• Dynamic optimization of interval narrowing algorithms
  The Journal of Logic Programming, 1998
• Strategic directions in constraint programming
  ACM Computing Surveys, 1996
• The CLP( ℛ ) language and system
  ACM Transactions on Programming Languages and Systems, 1992
• Partial Cylindrical Algebraic Decomposition for quantifier elimination
  Journal of Symbolic Computation, 1991
• An introduction to Prolog III
  Communications of the ACM, 1990
• Gröbner Bases: An Algorithmic Method in Polynomial Ideal Theory
  Published by Springer Nature ,1985