scientific article; zbMATH DE number 517005
From MaRDI portal
Publication:4282528
Recommendations
- CNF and DNF considered harmful for computing prime implicants/implicates
- Computing prime implicants via transversal clauses
- Prime implicants of first order formulas via transversal clauses
- Computation of prime implicants using matrix and paths
- Enumerating prime implicants of propositional formulae in conjunctive normal form
Cited in
(11)- CNF and DNF considered harmful for computing prime implicants/implicates
- Bases for closed sets of implicants and implicates in temporal logic
- Enumerating prime implicants of propositional formulae in conjunctive normal form
- Prime implicates and prime implicants: from propositional to modal logic
- Computing prime implicants via transversal clauses
- scientific article; zbMATH DE number 1076965 (Why is no real title available?)
- Computation of prime implicants using matrix and paths
- Prime implicants of first order formulas via transversal clauses
- scientific article; zbMATH DE number 1916516 (Why is no real title available?)
- scientific article; zbMATH DE number 1390353 (Why is no real title available?)
- Combining Syntax and Semantics through Prime Form Representation
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4282528)
