Pages that link to "Item:Q4399714"
From MaRDI portal
The following pages link to Computation of prime implicants using matrix and paths (Q4399714):
Displaying 8 items.
- A matrix-based approach to searching colored paths in a weighted colored multidigraph (Q732496) (← links)
- An incremental method for generating prime implicants/implicates (Q917336) (← links)
- An efficient algorithm to generate prime implicants (Q1283201) (← links)
- Algorithms for selective enumeration of prime implicants (Q1606302) (← links)
- Theory and implementation of coalitional analysis in cooperative decision making (Q2015030) (← links)
- (Q4140891) (← links)
- Prime implicants of first order formulas via transversal clauses (Q4464262) (← links)
- A Numerical Procedure for Determination of the Prime Implicants of a Boolean Function (Q5557458) (← links)