On the combination of interval constraint solvers

DOI10.1023/A:1014750702474zbMATH Open0993.65059OpenAlexW59289240MaRDI QIDQ1597635FDOQ1597635

Authors: Laurent Granvilliers 

Publication date: 30 May 2002

Published in: Reliable Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1014750702474

Recommendations

• scientific article; zbMATH DE number 1538006
• Algorithm 852
• Symbolic-interval cooperation in constraint programming
• Artificial Intelligence and Symbolic Computation
• Concurrent cooperating solvers over reals

zbMATH Keywords

consistencynonlinear systemsinterval arithmeticinterval methodsinterval Newton method

Mathematics Subject Classification ID

Numerical computation of solutions to systems of equations (65H10) Interval and finite arithmetic (65G30)

Cited In (29)

• Constraint Satisfaction Problems on Intervals and Lengths
• Title not available (Why is that?)
• Solving linear, min and max constraint systems using CLP based on relational interval arithmetic
• Title not available (Why is that?)
• On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP
• Title not available (Why is that?)
• Constrained global optimization of multivariate polynomials using Bernstein branch and prune algorithm
• Algorithmic differentiation and hull-consistency enforcing using C++ template meta-programming
• A class of polynomially solvable range constraints for interval analysis without widenings
• Algorithm 852
• Symbolic-interval cooperation in constraint programming
• Title not available (Why is that?)
• An interval component for continuous constraints.
• Algorithmic power from declarative use of redundant constraints
• Deterministic global optimization using interval constraint propagation techniques
• Title not available (Why is that?)
• Title not available (Why is that?)
• Improving inter-block backtracking with interval Newton
• Tools and Algorithms for the Construction and Analysis of Systems
• Artificial Intelligence and Symbolic Computation
• Efficient interval linear equality solving in constraint logic programming
• A reinforcement learning approach to interval constraint propagation
• When Interval Analysis Helps Inter-block Backtracking
• Interval propagation and search on directed acyclic graphs for numerical constraint solving
• Numerical constraint satisfaction problems with non-isolated solutions
• Constraint reasoning based on interval arithmetic: The tolerance propagation approach
• Title not available (Why is that?)
• An interval library: The experience of integration of logic and constraint programming
• Title not available (Why is that?)

Uses Software

• PHCpack

This page was built for publication: On the combination of interval constraint solvers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1597635)