Prime implicants of first order formulas via transversal clauses. - Manoj K. Raut; Arindama Singh (Int. J. Comput. Math., 2004)

Prime Implicates of First Order Formulas. - Manoj K. Raut; Arindama Singh (Int. J. Comput. Sci. Appl., 2004)

An algorithm for computing theory prime implicates in first order logic. - Arindama Singh; Manoj K. Raut (Int. J. Inf. Commun. Technol., 2007)

An Incremental Knowledge Compilation in First Order Logic - Manoj K. Raut (CoRR, 2011)

An Incremental Algorithm for Computing Prime Implicates in Modal Logic. - Manoj K. Raut (TAMC, 2014)

A survey on computing prime implicants and implicates in classical and non-classical logics. - Manoj K. Raut; Arindama Singh (Comput. Syst. Sci. Eng., 2014)

On octonary codes and their covering radii. - Manoj K. Raut; Manish K. Gupta 004 (Australas. J Comb., 2015)

Computing Theory Prime Implicates in Modal Logic. - Manoj K. Raut (CoRR, 2015)

Computing Theory Prime Implicates in Modal Logic. - Manoj K. Raut; Tushar V. Kokane; Rishabh Agarwal (ISDA, 2017)

An Algorithm for Computing Prime Implicates in Modal Logic. - Manoj K. Raut (CoRR, 2018)