Optimizing the clausal normal form transformation
From MaRDI portal
(Redirected from Publication:809622)
Recommendations
Cites work
- scientific article; zbMATH DE number 3858460 (Why is no real title available?)
- scientific article; zbMATH DE number 3976991 (Why is no real title available?)
- scientific article; zbMATH DE number 3684936 (Why is no real title available?)
- scientific article; zbMATH DE number 3727583 (Why is no real title available?)
- scientific article; zbMATH DE number 3774914 (Why is no real title available?)
- A New Algorithm for Generating Prime Implicants
- On Cores and Prime Implicants of Truth Functions
- RST Flip-Flop Input Equations
- The Problem of Simplifying Truth Functions
- Theorem Proving via General Matings
Cited in
(14)- scientific article; zbMATH DE number 3876643 (Why is no real title available?)
- Computing Tiny Clause Normal Forms
- scientific article; zbMATH DE number 1948188 (Why is no real title available?)
- scientific article; zbMATH DE number 3858460 (Why is no real title available?)
- An optimality result for clause form translation
- Prime forms and minimal change in propositional belief bases
- Computing small clause normal forms
- Computing prime implicants via transversal clauses
- A structure-preserving clause form translation
- Algorithm for PP-reduction a PC formula to the clause form
- scientific article; zbMATH DE number 3940761 (Why is no real title available?)
- An algorithm for dual transformation in first-order logic
- scientific article; zbMATH DE number 404251 (Why is no real title available?)
- scientific article; zbMATH DE number 2135666 (Why is no real title available?)
This page was built for publication: Optimizing the clausal normal form transformation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q809622)
