G<scp>LOPT</scp>L<scp>AB</scp>: a configurable framework for the rigorous global solution of quadratic constraint satisfaction problems

DOI10.1080/10556780902917701MaRDI QIDQ3396394zbMATH OpenOpenAlexFDO

Authors Ferenc Domes

Publication date 18 September 2009

Published in Optimization Methods \& Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/10556780902917701

zbMATH Keywords

constraint satisfaction problemsinterval analysisoptimization softwarerounding error controlverified computing

Mathematics Subject Classification ID

Quadratic programming (90C20)

Recommendations

• Solving global optimization problems over polynomials with GloptiPoly 2.1
• GloptiPoly
• GLOMIQO: global mixed-integer quadratic optimizer
• A Method for Global Optimization of Large Systems of Quadratic Constraints
• A comparison of complete global optimization solvers

Cited in

(15)

• GLOPTLAB
• Certificates of infeasibility via nonsmooth optimization
• Rigorous verification of feasibility
• First order rejection tests for multiple-objective optimization
• The optimization test environment
• Interval unions
• Algorithmic differentiation techniques for global optimization in the COCONUT environment
• Global optimization advances in mixed-integer nonlinear programming, MINLP, and constrained derivative-free optimization, CDFO
• GLOMIQO: global mixed-integer quadratic optimizer
• scientific article; zbMATH DE number 1057693 (Why is no real title available?)
• Rigorous filtering using linear relaxations
• Global optimization
• Constraint aggregation for rigorous global optimization
• Constraint propagation on quadratic constraints
• A scaling algorithm for polynomial constraint satisfaction problems

Describes a project that uses

Uses Software

• lp_solve
• Matlab

This page was built for publication: G<scp>LOPT</scp>L<scp>AB</scp>: a configurable framework for the rigorous global solution of quadratic constraint satisfaction problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3396394)