Please use this identifier to cite or link to this item:
|Title:||Computing prime implicants via transversal clauses|
Parallel processing systems
|Publisher:||Gordon & Breach Science Publ Inc, Newark, NJ, United States|
|Citation:||International Journal of Computer Mathematics, 70(3), 417-427|
|Abstract:||In this paper, the notion of transversal clauses is introduced and subsequently a new algorithm for computing prime implicants is developed. Opposed to the common approach of computing prime implicants of a dnf, the proposed algorithm uses a cnf representation of a propositional formula. The same algorithm applied on a dnf representation yields the set of prime implicates of a formula. Besides its suitability for implementation in a parallel environment and as an incremental algorithm, it has been found to work faster in case, the number of prime implicants is large.|
|Appears in Collections:||Articles|
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.