Computability of global solutions to factorable nonconvex programs: Part I — Convex underestimating problems

1976/12/01 by Garth P. McCormick · 2,292 citations
Computer Science · Mathematics · #Advanced Optimization Algorithms Research #Algorithm #Applied mathematics #Computability #Convex optimization #Linear programming #Mathematical optimization #Mathematics #Nonlinear programming #Nonlinear system #Optimization and Variational Analysis #Regular polygon

paper · doi:10.1007/bf01580665

published in Mathematical Programming 10(1), 147-175 (Springer Science+Business Media)

openalex publication_date 1976/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/01

Cited by

• A polyhedral branch-and-cut approach to global optimization
• Constrained Path Reasoning: Measuring When Committed Stages Earn Their Cost
• Data-driven modeling of power networks
• Chance Constrained Mixed Integer Program: Bilinear and Linear Formulations, and Benders Decomposition
• A bilevel decomposition method for the simultaneous heat integration and synthesis of steam/organic Rankine cycles
• An adaptive MPC scheme for energy-efficient control of building HVAC systems
• Recover Feasible Solutions for SOCP Relaxation of Optimal Power Flow Problems in Mesh Networks
• Computing cone-constrained singular values of matrices
• Distributionally Robust Facility Location Problem under Decision-dependent Stochastic Demand
• Mixed-Integer Linear Programming Approximations for the Stochastic Knapsack
• Solving the Heilbronn Triangle Problem using Global Optimization Methods
• Volume Formulae for the Convex Hull of the Graph of a Trilinear Monomial: A Complete Characterization for General Box Domains
• Wasserstein Distributionally Robust Motion Control for Collision Avoidance Using Conditional Value-at-Risk
• A Tight Double-Exponentially Lower Bound for High-Multiplicity Bin Packing
• Channel Knowledge Map Enabled Low-Altitude ISAC Networks: Joint Air Corridor Planning and Base Station Deployment
• Set System Approximation for Binary Integer Programs: Reformulations and Applications
• Topological Quantum Compilation Using Mixed-Integer Programming
• Towards Computing Victory Margins in STV Elections
• Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
• A Scenario-Spatial Decomposition Approach With a Performance Guarantee for the Combined Bidding of Cascaded Hydropower and Renewables
• Convex semidefinite tensor optimization and quantum entanglement
• Context-Aware Stochastic Modeling of Consumer Energy Resource Aggregators in Electricity Markets
• HVAC Energy Cost Optimization for a Multi-zone Building via a Decentralized Approach
• Optimization-Based Robust Permissive Synthesis for Interval MDPs
• Ordered p-median problems with neighborhoods
• Protein Threading Based on Nonlinear Integer Programming
• Stochastic Emergency Response Units (ERUs) Allocation Considering\n Secondary Incident Occurrences
• Methods for finding leader--follower equilibria with multiple followers
• Resource Allocation in Hybrid Radio-Optical IoT Networks using GNN with Multi-task Learning
• A Spatial Branch-and-Cut Method for Nonconvex QCQP with Bounded Complex Variables
• An Interval Hessian-based line-search method for unconstrained nonconvex optimization
• A Unified and Scalable Method for Optimization over Graphs of Convex Sets
• Extreme Strong Branching for QCQPs
• LinearizeLLM: An Agent-Based Framework for LLM-Driven Exact Linear Reformulation of Nonlinear Optimization Problems
• Stochastic Finite State Control of POMDPs with LTL Specifications
• Optimizing the ecological connectivity of landscapes with generalized flow models and preprocessing
• Semidefinite Programming and Nash Equilibria in Bimatrix Games
• Geometry of Distance Protection
• Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
• Global Optimization Algorithm for Mixed-Integer Nonlinear Programs with Trigonometric Functions
• Chance-Constrained Optimal Distribution Network Partitioning to Enhance Grid Resilience
• Substation-Level Grid Topology Optimization Using Bus Splitting
• A Novel Framework for Honey-X Deception in Zero-Sum Games
• Machine learning for combinatorial optimization: A methodological tour d’horizon
• Effective Algorithms for Optimal Portfolio Deleveraging Problem with Cross Impact
• Hybrid Adaptive Robust Stochastic Optimization Model for the Design of a Photovoltaic Battery Energy Storage System
• Solving Sparse Mixed-Integer Quadratic Problems: Application to the Unit Commitment Problem with Optimal Power Flow
• Bound tightening in lifted formulations: (sub)solver-dependent impact on performance in RLT-based algorithms
• Optimising heat exchanger network synthesis using convexity properties of the logarithmic mean temperature difference
• Branch-and-Price for a Class of Nonconvex Mixed-Integer Nonlinear Programs
• Interval Superposition Arithmetic
• A Linear Programming Framework for Optimal Event-Triggered LQG Control
• Certifying the Nonexistence of Feasible Path Between Power System Operating Points
• On Kinodynamic Global Planning in a Simplicial Complex Environment: A Mixed Integer Approach
• Bilevel Mixed-Integer Linear Program with Binary Tender
• Optimal Data Reduction under Information-Theoretic Criteria
• Virtual-Voltage Partition-Based Approach to Optimal Transmission Switching
• Solving continuous and discrete nonlinear programs with BARON
• Solving Three-phase AC Infeasibility Analysis to Near-zero Optimality Gap
• Enhancing Quadratic Programming Solvers via Quadratic Nonconvex Reformulation
• A Conic Integer Programming Approach to Constrained Assortment Optimization under the Mixed Multinomial Logit Model
• A second-order cone representable class of nonconvex quadratic programs
• Relaxations of AC Maximal Load Delivery for Severe Contingency Analysis
• Spatial Branch-and-Bound for Computing Multiplayer Nash Equilibrium
• BranchHull: Convex bilinear inversion from the entrywise product of signals with known signs
• Visible points, the separation problem, and applications to MINLP
• A Frank-Wolfe-based primal heuristic for quadratic mixed-integer optimization
• Efficient Solution and Learning of Robust Factored MDPs
• Accelerating Deterministic Global Optimization via GPU-parallel Interval Arithmetic
• Globally optimal consensus maximization for robust visual inertial localization in point and line map
• Efficient Identification of Bus Split Events Using Synchrophasor Data
• Look, no Beacons! Optimal All-in-One EchoSLAM
• Chance-Constrained Two-Stage Unit Commitment under Uncertain Load and Wind Power Output Using Bilinear Benders Decomposition
• The Refined Assortment Optimization Problem
• Designing Multi-Stage Coupled Convex Programming with Data-Driven McCormick Envelope Relaxations for Motion Planning
• A Chance Constrained Information-Gap Decision Model for Multi-Period Microgrid Planning
• A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming
• Proving Global Optimality of ACOPF Solutions
• Efficient separation of RLT cuts for implicit and explicit bilinear terms
• Energy Minimization in UAV-Aided Networks: Actor-Critic Learning for Constrained Scheduling Optimization
• Arbitrage with Power Factor Correction using Energy Storage
• Data-driven Predictive Control for a Class of Uncertain Control-Affine Systems
• Convex Relaxations for Gas Expansion Planning
• A Mathematical Optimization Approach to Multisphere Support Vector Data Description
• Experience-Centric Resource Management in ISAC Networks: A Digital Agent-Assisted Approach
• A joint decomposition method for global optimization of multiscenario nonconvex mixed-integer nonlinear programs
• Intersection cuts for factorable MINLP
• Interpolation-Based Model Order Reduction for Polynomial Parametric Systems
• Binary Matrix Factorisation and Completion via Integer Programming
• Production Planning Under Demand and Endogenous Supply Uncertainty
• From Quasidifferentiable to Directed Subdifferentiable Functions: Exact Calculus Rules
• A convex optimization approach to online set-membership EIV identification of LTV systems
• Distributed Control of Multi-zone HVAC Systems Considering Indoor Air Quality
• Some remarks on modularity density
• An Optimization-and-Simulation Framework for Redesigning University Campus Bus System with Social Distancing
• Leadership in Congestion Games: Multiple User Classes and Non-Singleton Actions (Extended Version)
• Maximum Throughput Problem in Dissipative Flow Networks with Application to Natural Gas Systems
• An exact algorithm for the static pricing problem under discrete mixed logit demand
• The L-Shaped Method for Stochastic Programs with Decision-Dependent Uncertainty
• Joint Grid Topology Reconfiguration and Design of Watt-VAR Curves for DERs
• Probabilistic Safety for Bayesian Neural Networks
• Symmetry Detection for Quadratically Constrained Quadratic Programs Using Binary Layered Graphs
• Convexification of box-constrained polynomial optimization problems via monomial patterns
• Multistage Distributionally Robust Mixed-Integer Programming with Decision-Dependent Moment-Based Ambiguity Sets
• Cross-Dock Door Design under Uncertainty: A two-stage DRO-based lower- and upper-bounding scheme
• Stochastic Process Optimization of an Integrated Biorefinery
• A Bid-Validity Mechanism for Sequential Heat and Electricity Market Clearing
• Scalable Global Optimization for AC-OPF via Quadratic Convex Relaxation and Branch-and-Bound
• Equilibrium models to analyse the impact of different coordination schemes between TSO and DSOs on market power in sequentially-cleared energy and ancillary services markets under load and renewable generation uncertainty
• The QC Relaxation: Theoretical and Computational Results on Optimal Power Flow
• A note on the complexity of integer programming games
• Convex Optimization for Trajectory Generation
• Reliability- and Connectivity-Constrained Age-of-Information Optimization for UAV Swarm IoT Data Collection
• Risk Aversion to Parameter Uncertainty in Markov Decision Processes with an Application to Slow-Onset Disaster Relief
• Assessing the Economics of Customer-Sited Multi-Use Energy Storage
• Optimization over Trained (and Sparse) Neural Networks: A Surrogate within a Surrogate
• Distributionally Robust Optimization for a Resilient Transmission Grid During Geomagnetic Disturbances
• Portfolio problems with two levels decision-makers: Optimal portfolio selection with pricing decisions on transaction costs. Extended version and complete risk profiles analysis
• Complexity Aspects of Fundamental Questions in Polynomial Optimization
• The value of randomized strategies in distributionally robust risk averse network interdiction games
• Pinching-Antenna Systems (PASS): Power Radiation Model and Optimal Beamforming Design
• More General Optimal Offset Assignment
• Optimization over Trained Neural Networks: Going Large with Gradient-Based Algorithms
• Revisiting Incremental Linearization for Nonlinear Integer Arithmetic
• Nonlinear Integer Programming
• New solution approaches for the maximum-reliability stochastic network interdiction problem
• On branching-point selection for trilinear monomials in spatial branch-and-bound: the hull relaxation
• Distributionally Robust Distribution Network Configuration Under Random Contingency
• Mathematical programming formulations for the alternating current optimal power flow problem
• Submodular maximization and its generalization through an intersection cut lens
• Probabilistic Partial Set Covering with an Oracle for Chance Constraints
• On the Semidefinite Representability of Continuous Quadratic Submodular Minimization With Applications to Moment Problems
• Identification of metabolic system parameters using global optimization methods. [europepmc]
• Deterministic global optimization algorithm based on outer approximation for the parameter estimation of nonlinear dynamic biological systems. [europepmc]
• A Maximum Feasible Subsystem for Globally Optimal 3D Point Cloud Registration. [europepmc]
• Network Design for Municipal Solid Waste Collection: A Case Study of the Nanjing Jiangbei New Area. [europepmc]
• Piecewise parametric structure in the pooling problem: from sparse strongly-polynomial solutions to NP-hardness. [europepmc]
• Arbitrarily tight α BB underestimators of general non-linear functions over sub-optimal domains. [europepmc]
• Chebyshev model arithmetic for factorable functions. [europepmc]
• Control strategies for COVID-19 epidemic with vaccination, shield immunity and quarantine: A metric temporal logic approach. [europepmc]
• Actor-critic learning-based energy optimization for UAV access and backhaul networks. [europepmc]
• Toward semi-automatic biologically effective dose treatment plan optimisation for Gamma Knife radiosurgery. [europepmc]
• A proactive/reactive mass screening approach with uncertain symptomatic cases. [europepmc]
• HBSP: a hybrid bilinear and semidefinite programming approach for aligning partially overlapping point clouds. [europepmc]
• Integrated Design and Scheduling of Hydrogen Processes under Uncertainty: A Quantile Neural Network Approach. [europepmc]
• Omnichannel pricing and inventory strategies considering live streaming selling: A data-driven distributionally robust optimization approach. [europepmc]
• Data-driven acceleration of mixed-integer bilinear programs: a comparative study for robot motion planning. [europepmc]
• Epidemic-Logistics Network Considering Time Windows and Service Level [europepmc]