scientific article
From MaRDI portal
Publication:3346090
zbMath0552.90067MaRDI QIDQ3346090
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
A rounding algorithm for integer programs ⋮ Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing ⋮ The Linear Complementarity Problems with a Few Variables per Constraint ⋮ Parametric formulation of the general integer linear programming problem ⋮ Trichotomy for integer linear systems based on their sign patterns ⋮ A combinatorial algorithm for Horn programs ⋮ Total dual integrality of the linear complementarity problem ⋮ Trichotomy for the reconfiguration problem of integer linear systems ⋮ On exact selection of minimally unsatisfiable subformulae ⋮ An extension of a theorem of Fulkerson and Gross
This page was built for publication:
