Propositional reasoning

MaRDI QIDQ2771060zbMATH OpenFDO

Authors Michael Paul Fourman

Publication date 14 February 2002

zbMATH Keywords

propositional encodingsverification techniques

Mathematics Subject Classification ID

Classical propositional logic (03B05) Logic in computer science (03B70) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1470716
• Logical cryptanalysis as a SAT problem: Encoding and analysis of the U. S. Data Encryption Standard
• Logical cryptanalysis as a SAT problem
• Encodings of Bounded LTL Model Checking in Effectively Propositional Logic
• Propositional calculus problems in CHIP

Cited in

(9)

• Propositional lax logic
• Simplification of boolean verification conditions
• Reasoning processes in propositional logic
• Languages represented by Boolean formulas
• Formal verification of logical descriptions with functional uncertainty based on logarithmic encoding of conditions
• Propositions
• scientific article; zbMATH DE number 6131387 (Why is no real title available?)
• Planning with effectively propositional logic
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty

This page was built for publication: Propositional reasoning

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