Constraint aggregation for rigorous global optimization (Q5962722): Difference between revisions

@@ Property / cites work @@
+Complete search in continuous global optimization and constraint satisfaction
+Normal rank
@@ Property / cites work @@
+BARON: A general purpose global optimization software package
+Normal rank
@@ Property / cites work @@
+Comparing partial consistencies
@@ Property / cites work: Comparing partial consistencies / rank @@
+Normal rank
@@ Property / cites work @@
+G<scp>LOPT</scp>L<scp>AB</scp>: a configurable framework for the rigorous global solution of quadratic constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Constraint propagation on quadratic constraints
@@ Property / cites work: Constraint propagation on quadratic constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Rigorous filtering using linear relaxations
@@ Property / cites work: Rigorous filtering using linear relaxations / rank @@
+Normal rank
@@ Property / cites work @@
+Rigorous verification of feasibility
@@ Property / cites work: Rigorous verification of feasibility / rank @@
+Normal rank
@@ Property / cites work @@
+The optimization test environment
@@ Property / cites work: The optimization test environment / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bound functions for polynomials
@@ Property / cites work: Lower bound functions for polynomials / rank @@
+Normal rank
@@ Property / cites work @@
+First order rejection tests for multiple-objective optimization
+Normal rank
@@ Property / cites work @@
+Q4004279
@@ Property / cites work: Q4004279 / rank @@
+Normal rank
@@ Property / cites work @@
+The cluster problem in multivariate global optimization
+Normal rank
@@ Property / cites work @@
+On proving existence of feasible points in equality constrained optimization problems
+Normal rank
@@ Property / cites work @@
+Q3583363
@@ Property / cites work: Q3583363 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic computation of a linear interval enclosure
+Normal rank
@@ Property / cites work @@
+A rigorous global filtering algorithm for quadratic constraints
+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 @@
+Computability of global solutions to factorable nonconvex programs: Part I — Convex underestimating problems
+Normal rank
@@ Property / cites work @@
+Derived eigenvalues of symmetric matrices, with applications to distance geometry
+Normal rank
@@ Property / cites work @@
+An optimality criterion for global quadratic optimization
+Normal rank
@@ Property / cites work @@
+Algorithmic differentiation techniques for global optimization in the COCONUT environment
+Normal rank
@@ Property / cites work @@
+Transposition Theorems and Qualification‐Free Optimality Conditions
+Normal rank
@@ Property / cites work @@
+Global Optimization and Constraint Satisfaction
@@ Property / cites work: Global Optimization and Constraint Satisfaction / rank @@
+Normal rank
@@ Property / cites work @@
+A reformulation-linearization technique for solving discrete and continuous nonconvex problems
+Normal rank