Towards logical operations research -- propositional case

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)

Mathematics Subject Classification ID

Transportation, logistics and supply chain management (90B06) Classical propositional logic (03B05)

Related Items

METHOD OF MOMENTS APPROACH TO PRICING DOUBLE BARRIER CONTRACTS IN POLYNOMIAL JUMP-DIFFUSION MODELS

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