Generalized filtering algorithms for infeasibility analysis

DOI10.1016/j.cor.2006.08.005zbMath1278.90007OpenAlexW2085637568MaRDI QIDQ2459383

Mustafa K. Atlihan, Linus Schrage

Publication date: 6 November 2007

Published in: Computers \& Operations Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.cor.2006.08.005

zbMATH Keywords

nonlinear optimizationbinary searchinfeasible systemsirreducibly inconsisent systems

Mathematics Subject Classification ID

Mixed integer programming (90C11) Nonconvex programming, global optimization (90C26) Software, source code, etc. for problems pertaining to operations research and mathematical programming (90-04)

Related Items (5)

Logic-based benders decomposition with a partial assignment acceleration technique for avionics scheduling ⋮ Computational evaluation of cut-strengthening techniques in logic-based Benders' decomposition ⋮ MUST: Provide a Finer-Grained Explanation of Unsatisfiability ⋮ Deletion Presolve for Accelerating Infeasibility Diagnosis in Optimization Models ⋮ Strengthening of feasibility cuts in logic-based benders decomposition

Uses Software

• LINDO
• LINGO

Cites Work

• Applications of second-order cone programming
• Irreducibly inconsistent systems of linear inequalities
• Handbook of test problems in local and global optimization
• An effective polynomial-time heuristic for the minimum-cardinality IIS set-covering problem
• Second-order cone programming
• Analyzing infeasible nonlinear programs
• Detecting IIS in infeasible linear programmes using techniques from goal programming
• On Primal and Dual Infeasibility Certificates in a Homogeneous Model for Convex Optimization
• Identifying Minimally Infeasible Subsystems of Inequalities
• Locating Minimal Infeasible Constraint Sets in Linear Programs
• Finding a Useful Subset of Constraints for Analysis in an Infeasible Linear Program
• Analyzing Infeasible Mixed-Integer and Integer Linear Programs
• Computer Codes for the Analysis of Infeasible Linear Programs
• Benchmarking optimization software with performance profiles.

This page was built for publication: Generalized filtering algorithms for infeasibility analysis