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

@@ Property / describes a project that uses @@
+BARON
@@ Property / describes a project that uses: BARON / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+testenv
@@ Property / describes a project that uses: testenv / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Optimization Test Environment
@@ Property / describes a project that uses: Optimization Test Environment / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GLOPTLAB
@@ Property / describes a project that uses: GLOPTLAB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JGloptLab
@@ Property / describes a project that uses: JGloptLab / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+COCONUT
@@ Property / describes a project that uses: COCONUT / 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/s10107-014-0851-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2085643939
@@ Property / OpenAlex ID: W2085643939 / rank @@
+Normal rank
@@ 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