Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects (Q312490): Difference between revisions

@@ Property / describes a project that uses @@
+ANTIGONE
@@ Property / describes a project that uses: ANTIGONE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10898-015-0390-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2214097909
@@ Property / OpenAlex ID: W2214097909 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal multisections in interval branch-and-bound methods of global optimization
+Normal rank
@@ Property / cites work @@
+An interval extension based on occurrence grouping
+Normal rank
@@ Property / cites work @@
+Finding all solutions of nonlinearly constrained systems of equations
+Normal rank
@@ Property / cites work @@
+GlobSol user guide
@@ Property / cites work: GlobSol user guide / rank @@
+Normal rank
@@ Property / cites work @@
+Upper bounding in inner regions for global optimization under inequality constraints
+Normal rank
@@ Property / cites work @@
+On rigorous upper bounds to a global optimum
@@ Property / cites work: On rigorous upper bounds to a global optimum / rank @@
+Normal rank
@@ Property / cites work @@
+Recent Advances in Constraints
@@ Property / cites work: Recent Advances in Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency in networks of relations
@@ Property / cites work: Consistency in networks of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Branching and bounds tighteningtechniques for non-convex MINLP
+Normal rank
@@ Property / cites work @@
+Interval-based projection method for under-constrained numerical systems
+Normal rank
@@ Property / cites work @@
+Global optimization using interval analysis - the multi-dimensional case
+Normal rank
@@ Property / cites work @@
+Interval solution of nonlinear equations using linear programming
+Normal rank
@@ Property / cites work @@
+Q4249563
@@ Property / cites work: Q4249563 / rank @@
+Normal rank
@@ Property / cites work @@
+New methods to color the vertices of a graph
@@ Property / cites work: New methods to color the vertices of a graph / rank @@
+Normal rank
@@ Property / cites work @@
+Improving interval analysis bounds by translations
+Normal rank
@@ Property / cites work @@
+Experiments with a new selection criterion in a fast interval optimization algorithm
+Normal rank
@@ Property / cites work @@
+Horner's rule for interval evaluation revisited
@@ Property / cites work: Horner's rule for interval evaluation revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737129
@@ Property / cites work: Q4737129 / rank @@
+Normal rank
@@ Property / cites work @@
+Greedy algorithms for optimizing multivariate Horner schemes
+Normal rank
@@ Property / cites work @@
+Contractor programming
@@ Property / cites work: Contractor programming / rank @@
+Normal rank
@@ Property / cites work @@
+Exclusion Regions for Systems of Equations
@@ Property / cites work: Exclusion Regions for Systems of Equations / rank @@
+Normal rank
@@ Property / cites work @@
+A new framework for sharp and efficient resolution of NCSP with manifolds of solutions
+Normal rank
@@ Property / cites work @@
+Subdivision Direction Selection in Interval Methods for Global Optimization
+Normal rank
@@ Property / cites work @@
+Affine arithmetic: concepts and applications
@@ Property / cites work: Affine arithmetic: concepts and applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4772602
@@ Property / cites work: Q4772602 / rank @@
+Normal rank
@@ Property / cites work @@
+CONOPT—A Large-Scale GRG Code
@@ Property / cites work: CONOPT—A Large-Scale GRG Code / rank @@
+Normal rank
@@ Property / cites work @@
+The cluster problem in multivariate global optimization
+Normal rank
@@ Property / cites work @@
+An outer-approximation algorithm for a class of mixed-integer nonlinear programs
+Normal rank
@@ Property / cites work @@
+Q4445267
@@ Property / cites work: Q4445267 / rank @@
+Normal rank
@@ Property / cites work @@
+KBFS: K-Best-First Search
@@ Property / cites work: KBFS: K-Best-First Search / rank @@
+Normal rank
@@ Property / cites work @@
+Encyclopedia of Optimization
@@ Property / cites work: Encyclopedia of Optimization / rank @@
+Normal rank
@@ Property / cites work @@
+Existence Tests for Solutions of Nonlinear Equations Using Borsuk's Theorem
+Normal rank
@@ Property / cites work @@
+SNOPT: An SQP Algorithm for Large-Scale Constrained Optimization
+Normal rank
@@ Property / cites work @@
+Backtrack Programming
@@ Property / cites work: Backtrack Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4277813
@@ Property / cites work: Q4277813 / rank @@
+Normal rank
@@ Property / cites work @@
+Interval Arithmetic in Matrix Computations, Part I
+Normal rank
@@ Property / cites work @@
+Bounding the Solution of Interval Linear Equations
+Normal rank
@@ Property / cites work @@
+Q4004279
@@ Property / cites work: Q4004279 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5791470
@@ Property / cites work: Q5791470 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808034
@@ Property / cites work: Q4808034 / rank @@
+Normal rank
@@ Property / cites work @@
+Preconditioners for the Interval Gauss–Seidel Method
+Normal rank
@@ Property / cites work @@
+An interval branch and bound algorithm for bound constrained optimization problems
+Normal rank
@@ Property / cites work @@
+Discussion and empirical comparisons of linear relaxations and alternate techniques in validated deterministic global optimization
+Normal rank
@@ Property / cites work @@
+Validated Linear Relaxations and Preprocessing: Some Experiments
+Normal rank
@@ Property / cites work @@
+Algorithm 681: INTBIS, a portable interval Newton/bisection package
+Normal rank
@@ Property / cites work @@
+Symbolic preconditioning with Taylor models: Some examples
+Normal rank
@@ Property / cites work @@
+QFT prefilter design for multivariable systems using interval constraint satisfaction technique
+Normal rank
@@ Property / cites work @@
+Use of interval slopes for the irrational part of factorable functions
+Normal rank
@@ Property / cites work @@
+Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
+Normal rank
@@ Property / cites work @@
+ICOS: a branch and bound based solver for rigorous global optimization
+Normal rank
@@ Property / cites work @@
+An efficient and safe framework for solving optimization problems
+Normal rank
@@ Property / cites work @@
+Q5492526
@@ Property / cites work: Q5492526 / rank @@
+Normal rank
@@ Property / cites work @@
+New interval methods for constrained global optimization
+Normal rank
@@ Property / cites work @@
+Bound constrained interval global optimization in the COCONUT environment
+Normal rank
@@ Property / cites work @@
+Computability of global solutions to factorable nonconvex programs: Part I — Convex underestimating problems
+Normal rank
@@ Property / cites work @@
+Anchor-Based Localization via Interval Analysis for Mobile<i>Ad-Hoc</i>Sensor Networks
+Normal rank
@@ Property / cites work @@
+Interval Analysis for Certified Numerical Solution of Problems in Robotics
+Normal rank
@@ Property / cites work @@
+Q5421933
@@ Property / cites work: Q5421933 / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic global optimization using interval constraint propagation techniques
+Normal rank
@@ Property / cites work @@
+A Deterministic Global Optimization Algorithm for Design Problems
+Normal rank
@@ Property / cites work @@
+A general reliable quadratic form: An extension of affine arithmetic
+Normal rank
@@ Property / cites work @@
+Convex envelopes for edge-concave functions
@@ Property / cites work: Convex envelopes for edge-concave functions / rank @@
+Normal rank
@@ Property / cites work @@
+ANTIGONE: algorithms for coNTinuous/Integer global optimization of nonlinear equations
+Normal rank
@@ Property / cites work @@
+Q5566070
@@ Property / cites work: Q5566070 / rank @@
+Normal rank
@@ Property / cites work @@
+Safe bounds in linear and mixed-integer linear programming
+Normal rank
@@ Property / cites work @@
+A reliable affine relaxation method for global optimization
+Normal rank
@@ Property / cites work @@
+Iterative Solution of Nonlinear Equations in Several Variables
+Normal rank
@@ Property / cites work @@
+Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
+Normal rank
@@ Property / cites work @@
+Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
+Normal rank
@@ Property / cites work @@
+Q4040272
@@ Property / cites work: Q4040272 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4855524
@@ Property / cites work: Q4855524 / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+A branch-and-reduce approach to global optimization
+Normal rank
@@ Property / cites work @@
+BARON: A general purpose global optimization software package
+Normal rank
@@ Property / cites work @@
+Interval analysis on directed acyclic graphs for global optimization
+Normal rank
@@ Property / cites work @@
+A finite algorithm for global minimization of separable concave programs
+Normal rank
@@ Property / cites work @@
+Heuristics for dynamically adapting propagation in constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+The Kantorovich Theorem for Newton's Method
@@ Property / cites work: The Kantorovich Theorem for Newton's Method / rank @@
+Normal rank
@@ Property / cites work @@
+Convexification and global optimization in continuous and mixed-integer nonlinear programming. Theory, algorithms, software, and applications
+Normal rank
@@ Property / cites work @@
+Constructive Interval Disjunction
@@ Property / cites work: Constructive Interval Disjunction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737596
@@ Property / cites work: Q4737596 / rank @@
+Normal rank