6 citations · 7 across the 3 of their papers we have counts for
1 paper · 2 filters
Manoj K. Raut
The algorithm to compute theory prime implicates, a generalization of prime implicates, in propositional logic has been suggested in \cite{Marquis}. In this paper we have extended…