Browsing by Author Raut, M.K.
Showing results 1 to 3 of 3
|2014||A survey on computing prime implicants and implicates in classical and non-classical logics||Raut, M.K.; Singh, A.|
|2007||An algorithm for computing theory prime implicates in first order logic||Singh, A.; Raut, M.K.|
|2004||Prime implicants of first order formulas via transversal clauses||Raut, M.K.; Singh, A.|