Computing prime implicates

This paper surveys three methods for computing the prime implicates of a set of propositions (ie., minimizing a boolean function) and performs a comparison between them. Data is provided which suggests that methods based on resolution can be as efficient as methods based on matrices and semantic tre... View More