Pages that link to "Item:Q1192331"
From MaRDI portal
The following pages link to Tautologies and positive solvability of linear homogeneous systems (Q1192331):
Displayed 7 items.
- On semidefinite least squares and minimal unsatisfiability (Q516798) (← 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)
- Computing Maximal Autarkies with Few and Simple Oracle Queries (Q3453219) (← links)
- Towards logical operations research -- propositional case (Q5957908) (← links)