Deletion Presolve for Accelerating Infeasibility Diagnosis in Optimization Models

DOI10.1287/ijoc.2017.0761zbMath1446.90093OpenAlexW2760619459MaRDI QIDQ5131703

Nikolaos V. Sahinidis, Yash Puranik

Publication date: 9 November 2020

Published in: INFORMS Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1287/ijoc.2017.0761

zbMATH Keywords

constraint programminginfeasibility analysisMINLPirreducible infeasible sets

Mathematics Subject Classification ID

Mixed integer programming (90C11) Nonlinear programming (90C30) Linear programming (90C05) Search theory (90B40)

Related Items (1)

Domain reduction techniques for global NLP and MINLP optimization

Uses Software

• SNOPT
• CPLEX
• Gurobi
• Ipopt
• XPRESS
• QUICKXPLAIN

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Irreducibly inconsistent systems of linear inequalities
• Some results concerning post-infeasibility analysis
• Consistency, redundancy, and implied equalities in linear systems
• A finite algorithm for global minimization of separable concave programs
• Analyzing infeasible nonlinear programs
• Global optimization of mixed-integer nonlinear programs: a theoretical and computational study
• A branch-and-reduce approach to global optimization
• A brief history of linear and mixed-integer programming computation
• Generalized filtering algorithms for infeasibility analysis
• Feasibility and infeasibility in optimization. Algorithms and computational methods.
• On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming
• Detecting IIS in infeasible linear programmes using techniques from goal programming
• Solving Real-World Linear Programs: A Decade and More of Progress
• Locating Minimal Infeasible Constraint Sets in Linear Programs
• Analysis of mathematical programming problems prior to applying the simplex algorithm
• Finding a Useful Subset of Constraints for Analysis in an Infeasible Linear Program
• Analyzing Infeasible Mixed-Integer and Integer Linear Programs
• SNOPT: An SQP Algorithm for Large-Scale Constrained Optimization
• Global Optimization and Constraint Satisfaction

This page was built for publication: Deletion Presolve for Accelerating Infeasibility Diagnosis in Optimization Models