Solvable matrices
From MaRDI portal
Publication:1901822
zbMath0831.15015MaRDI QIDQ1901822
Publication date: 20 February 1996
Published in: Vestnik St. Petersburg University. Mathematics (Search for Journal in Brave)
Related Items
Two tractable subclasses of minimal unsatisfiable formulas ⋮ Number representation of satisfiability ⋮ Generalization of the Chinese remainder theorem ⋮ Towards logical operations research -- propositional case