Pages that link to "Item:Q1190532"

The following pages link to Polynomial-time algorithms for generation of prime implicants (Q1190532):

Displaying 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)