On the combination of interval constraint solvers

DOI10.1023/A:1014750702474MaRDI QIDQ1597635zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

consistencyinterval arithmeticinterval methodsinterval Newton methodnonlinear systems

Mathematics Subject Classification ID

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

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

Cited in

(37)

• Interval propagation and search on directed acyclic graphs for numerical constraint solving
• Constraint reasoning based on interval arithmetic: The tolerance propagation approach
• Automatic generation of numerical redundancies for nonlinear constraint solving
• Solving linear, min and max constraint systems using CLP based on relational interval arithmetic
• An interval component for continuous constraints.
• Efficient interval linear equality solving in constraint logic programming
• Algorithmic power from declarative use of redundant constraints
• Improving inter-block backtracking with interval Newton
• Enhancing interval constraint propagation by identifying and filtering \(n\)-ary subsystems
• A class of polynomially solvable range constraints for interval analysis without widenings
• Symbolic-interval cooperation in constraint programming
• On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP
• When Interval Analysis Helps Inter-block Backtracking
• scientific article; zbMATH DE number 5370186 (Why is no real title available?)
• Algorithm 852
• scientific article; zbMATH DE number 1234565 (Why is no real title available?)
• scientific article; zbMATH DE number 1059314 (Why is no real title available?)
• scientific article; zbMATH DE number 1979682 (Why is no real title available?)
• scientific article; zbMATH DE number 2079838 (Why is no real title available?)
• scientific article; zbMATH DE number 1738689 (Why is no real title available?)
• Constraint Satisfaction Problems on Intervals and Lengths
• scientific article; zbMATH DE number 2086595 (Why is no real title available?)
• scientific article; zbMATH DE number 804857 (Why is no real title available?)
• scientific article; zbMATH DE number 1406250 (Why is no real title available?)
• Tools and Algorithms for the Construction and Analysis of Systems
• Artificial Intelligence and Symbolic Computation
• Deterministic global optimization using interval constraint propagation techniques
• scientific article; zbMATH DE number 2247681 (Why is no real title available?)
• Numerical constraint satisfaction problems with non-isolated solutions
• An interval library: The experience of integration of logic and constraint programming
• scientific article; zbMATH DE number 7687800 (Why is no real title available?)
• Algorithmic differentiation and hull-consistency enforcing using C++ template meta-programming
• Constrained global optimization of multivariate polynomials using Bernstein branch and prune algorithm
• \texttt{lsmear}: a variable selection strategy for interval branch and bound solvers
• Adaptive constructive interval disjunction: algorithms and experiments
• Presentation of a highly tuned multithreaded interval solver for underdetermined and well-determined nonlinear systems. Empirical evaluation of innovations
• A reinforcement learning approach to interval constraint propagation

Describes a project that uses

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)