Towards logical operations research -- propositional case
From MaRDI portal
Publication:5957908
DOI10.1016/S0168-0072(01)00053-7zbMath1048.90032MaRDI QIDQ5957908
Gennady Davydov, Inna Davydova
Publication date: 2002
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Related Items
Cites Work
- Unnamed Item
- Tautologies and positive solvability of linear homogeneous systems
- An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF
- Measure of formulas: Calculation and a polynomial class for satisfiability
- Solvable matrices
- Synthesis of the resolution method with the inverse method
- CNF-Satisfiability Test by Counting and Polynomial Average Time