Pages that link to "Item:Q1190532"
From MaRDI portal
The following pages link to Polynomial-time algorithms for generation of prime implicants (Q1190532):
Displayed 5 items.
- Efficient query processing with reduced implicate tries (Q877893) (← links)
- The minimum equivalent DNF problem and shortest implicants (Q1604210) (← links)
- Prime implicants of first order formulas via transversal clauses (Q4464262) (← links)
- (Q5018517) (← links)
- The Decomposition Tree for analyses of Boolean functions (Q5458074) (← links)