Computation of prime implicants using matrix and paths
From MaRDI portal
Publication:4399714
DOI10.1093/logcom/8.2.135zbMath0901.68194OpenAlexW1980926834MaRDI QIDQ4399714
Publication date: 28 July 1998
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/a59dfb6ead7c80eeb899b381cee1313cfa18767f
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Theory and implementation of coalitional analysis in cooperative decision making ⋮ A matrix-based approach to searching colored paths in a weighted colored multidigraph ⋮ Prime implicants of first order formulas via transversal clauses
This page was built for publication: Computation of prime implicants using matrix and paths