Towards logical operations research -- propositional case

DOI10.1016/S0168-0072(01)00053-7MaRDI QIDQ5957908zbMATH OpenFDO

Authors Gennady Davydov, Inna Davydova

Publication date 2002

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0168-0072(01)00053-7

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3316038
• The decision problem for the logic of predicates and of operations
• scientific article; zbMATH DE number 1059343
• Optimization techniques for propositional intuitionistic logic and their implementation
• scientific article; zbMATH DE number 1420797
• On the computational cost of disjunctive logic programming: Propositional case
• scientific article; zbMATH DE number 3976998
• Decision problems for propositional linear logic
• scientific article; zbMATH DE number 1045389
• scientific article; zbMATH DE number 3995647

Cites work

• An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF
• CNF-Satisfiability Test by Counting and Polynomial Average Time
• scientific article; zbMATH DE number 3185418 (Why is no real title available?)
• Measure of formulas: Calculation and a polynomial class for satisfiability
• Solvable matrices
• Synthesis of the resolution method with the inverse method
• Tautologies and positive solvability of linear homogeneous systems

Cited in

(3)

• The appropriateness of predicate invention as bias shift operation in ILP
• Method of moments approach to pricing double barrier contracts in polynomial jump-diffusion models
• Logical operations

This page was built for publication: Towards logical operations research -- propositional case

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5957908)