Header menu link for other important links
X
Computing prime implicants via transversal clauses
Published in Gordon & Breach Science Publ Inc, Newark
1999
Volume: 70
   
Issue: 3
Pages: 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.
About the journal
JournalInternational Journal of Computer Mathematics
PublisherGordon & Breach Science Publ Inc, Newark
ISSN00207160
Open AccessNo
Concepts (6)
  •  related image
    Algorithms
  •  related image
    Knowledge representation
  •  related image
    Parallel processing systems
  •  related image
    PRIME IMPLICANTS
  •  related image
    TRANSVERSAL CLAUSES
  •  related image
    Computation theory