Algorithms for selective enumeration of prime implicants
From MaRDI portal
Recommendations
- An efficient algorithm to generate prime implicants
- Polynomial-time algorithms for generation of prime implicants
- scientific article; zbMATH DE number 3570346
- Computing prime implicates by pruning the search space and accelerating subsumption
- scientific article; zbMATH DE number 1390353
- An incremental method for generating prime implicants/implicates
- An SE-tree-based prime implicant generation algorithm
- scientific article; zbMATH DE number 3894978
- scientific article; zbMATH DE number 3922536
- Computation of prime implicants using matrix and paths
Cited in
(12)- An SE-tree-based prime implicant generation algorithm
- scientific article; zbMATH DE number 856969 (Why is no real title available?)
- Computing prime implicates by pruning the search space and accelerating subsumption
- On prime scenarios in qualitative spatial and temporal reasoning
- Polynomial-time algorithms for generation of prime implicants
- Fuzzy relational equations with min-biimplication composition
- A Numerical Procedure for Determination of the Prime Implicants of a Boolean Function
- Enumerating prime implicants of propositional formulae in conjunctive normal form
- scientific article; zbMATH DE number 3922536 (Why is no real title available?)
- scientific article; zbMATH DE number 3570346 (Why is no real title available?)
- SAT-Based Horn Least Upper Bounds
- Preferences and explanations
This page was built for publication: Algorithms for selective enumeration of prime implicants
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1606302)
