Irreducibly inconsistent systems of linear inequalities

JNM Van Loon - European Journal of Operational Research, 1981 - Elsevier
… We give necessary and sufficient conditions, for a system to be irreducibly inconsistent, …
inconsistent systems. The simplex method can be used to identify irreducibly inconsistent

Systems of linear inequalities

WB Carver - Annals of mathematics, 1922 - JSTOR
… Another by-product of the proof of the last theorem is the following fact: If in the matrix M of
an irreducibly inconsistent system S we pick out any non-vanishing determinant of order m - 1, …

Finding a useful subset of constraints for analysis in an infeasible linear program

JW Chinneck - INFORMS Journal on Computing, 1997 - pubsonline.informs.org
… Algorithms for finding such irreducible inconsistent systems (llSs) of constraints have been
proposed, implemented, and tested in recent years. Experience with lISs shows that a further …

Finding the minimum weight IIS cover of an infeasible system of linear inequalities

M Parker, J Ryan - Annals of Mathematics and Artificial Intelligence, 1996 - Springer
irreducible inconsistent subsystem (IIS) if it is inconsistent and if it has no … to systems of
inequalities, the most interesting in this context is a necessary condition for an inconsistent system

[PDF][PDF] Systems of inequalities involving convex functions

K Fan, I Glicksberg, AJ Hoffman - Proceedings of the American …, 1957 - community.ams.org
… A system (1) is said to be irreducibly inconsistent, if it is inconsistent and if every proper
subsystem of (1) is consistent. The convex functions /i, ft, • • • , fm are said to be linearly inde…

Some results concerning post-infeasibility analysis

N Chakravarti - European Journal of Operational Research, 1994 - Elsevier
… of minimal infeasible systems of constraints, also known as irreducibly inconsistent systems.
A set of constraints constitutes a minimal infeasible or irreducibly inconsistent system if it is …

ASP modulo CSP: The clingcon system

M Ostrowski, T Schaub - Theory and Practice of Logic Programming, 2012 - cambridge.org
inconsistent constraints and to find the real cause of the conflict, we apply an Irreducible
Inconsistent … The term IIS was coined in (van Loon 1981) for describing inconsistent sets of …

Irreducible infeasible subsystems of semidefinite systems

K Kellner, ME Pfetsch, T Theobald - Journal of Optimization Theory and …, 2019 - Springer
… Moreover, the basic building blocks are so-called irreducible infeasible systems (IISs, also
called irreducible inconsistent systems), ie, infeasible subsystems such that every proper …

Irreducible probabilities and indeterminism

H Krips - Journal of philosophical logic, 1989 - JSTOR
… I also show, contra the claim made by Earman, that the existence of irreducible probabilities
… be preserved in QT, even though QT is irreducibly stochastic (and hence fatalism fails). The …

Irreducible balanced and unbalanced growth paths: Business cycles and structural changes

J Móczár - Structural Change and Economic Dynamics, 1991 - Elsevier
… If we have a non-trivial solution for x2, ie the Frobenius vector x:, then by direct substitution
into the first equation of system (5) we will obtain an inconsistent system. This means that …