A new framework for sharp and efficient resolution of NCSP with manifolds of solutions
From MaRDI portal
Publication:968347
DOI10.1007/s10601-009-9082-3zbMath1203.65086OpenAlexW2129041497MaRDI QIDQ968347
Alexandre Goldsztejn, Laurent Granvilliers
Publication date: 5 May 2010
Published in: Constraints (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10601-009-9082-3
numerical examplesinterval analysisCSPbranch and prune algorithmglobal constraint for under-constrained systems of equationspreconditioned interval Newton
Numerical computation of solutions to systems of equations (65H10) Interval and finite arithmetic (65G30)
Related Items (7)
Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects ⋮ On continuation methods for non-linear bi-objective optimization: towards a certified interval-based approach ⋮ A branch and prune algorithm for the computation of generalized aspects of parallel robots ⋮ First order rejection tests for multiple-objective optimization ⋮ A new framework for sharp and efficient resolution of NCSP with manifolds of solutions ⋮ Exclusion regions for parameter-dependent systems of equations ⋮ The octagon abstract domain for continuous constraints
Uses Software
Cites Work
- A new framework for sharp and efficient resolution of NCSP with manifolds of solutions
- Parallel robots
- Validated solutions of initial value problems for ordinary differential equations
- A right-preconditioning process for the formal-algebraic approach to inner and outer estimation of AE-solution sets.
- Rigorous Sensitivity Analysis for Systems of Linear and Nonlinear Equations
- Algorithm 852
- Testing Unconstrained Optimization Software
- Interval Methods for Systems of Equations
- An Interval Step Control for Continuation Methods
- Solving Polynomial Systems Using a Branch and Prune Approach
- Applying interval arithmetic to real, integer, and boolean constraints
- Overestimation in Linear Interval Equations
- Iterative Solution of Nonlinear Equations in Several Variables
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A new framework for sharp and efficient resolution of NCSP with manifolds of solutions
