The solvability of linear systems and the satisfiability

zbMath0883.68064MaRDI QIDQ1373648

G. V. Davydov, I. M. Davydova

Publication date: 14 January 1998

Published in: Vestnik St. Petersburg University. Mathematics (Search for Journal in Brave)

zbMATH Keywords

linear systemsnontrivial solvabilityNP-complete problem satisfiability

Mathematics Subject Classification ID

Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Related Items (1)

Number representation of satisfiability

This page was built for publication: The solvability of linear systems and the satisfiability