Pages that link to "Item:Q1192331"
From MaRDI portal
The following pages link to Tautologies and positive solvability of linear homogeneous systems (Q1192331):
Displaying 10 items.
- On semidefinite least squares and minimal unsatisfiability (Q516798) (← links)
- The solvability of linear systems and the satisfiability (Q1373648) (← links)
- Tight sign-central matrices (Q1406293) (← links)
- Lean clause-sets: Generalizations of minimally unsatisfiable clause-sets (Q1408381) (← links)
- Investigations on autark assignments (Q1841885) (← links)
- Number representation of satisfiability (Q1977919) (← links)
- Solutions to the T-systems with principal coefficients (Q2629486) (← links)
- Computing Maximal Autarkies with Few and Simple Oracle Queries (Q3453219) (← links)
- The Positivstellensatz and Small Deduction Rules for Systems of Inequalities (Q4892483) (← links)
- Towards logical operations research -- propositional case (Q5957908) (← links)