Tautologies and positive solvability of linear homogeneous systems

DOI10.1016/0168-0072(92)90060-DzbMath0764.15001MaRDI QIDQ1192331

Gennady Davydov, Inna Davydova

Publication date: 27 September 1992

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

positive solutionlinear inequalitypropositional formula

Mathematics Subject Classification ID

Linear programming (90C05) Linear inequalities of matrices (15A39) Linear equations (linear algebraic aspects) (15A06)

Related Items (7)

Computing Maximal Autarkies with Few and Simple Oracle Queries ⋮ Tight sign-central matrices ⋮ Lean clause-sets: Generalizations of minimally unsatisfiable clause-sets ⋮ Number representation of satisfiability ⋮ On semidefinite least squares and minimal unsatisfiability ⋮ Towards logical operations research -- propositional case ⋮ Investigations on autark assignments

Cites Work

• Algebraic theory of linear inequalities
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Tautologies and positive solvability of linear homogeneous systems