Manoj K. Raut

Publication Activity (10 Years)

Years Active: 2004-2018
Publications (10 Years): 2

Top Topics

Prime Implicates

Inference Rules

Top Venues

Comput. Syst. Sci. Eng.

Publications

Manoj K. Raut
An Algorithm for Computing Prime Implicates in Modal Logic. CoRR (2018)
Manoj K. Raut, Tushar V. Kokane, Rishabh Agarwal
Computing Theory Prime Implicates in Modal Logic. ISDA (2017)
Manoj K. Raut
Computing Theory Prime Implicates in Modal Logic. CoRR (2015)
Manoj K. Raut, Manish K. Gupta
On octonary codes and their covering radii. Australas. J Comb. 63 (2015)
Manoj K. Raut, Arindama Singh
A survey on computing prime implicants and implicates in classical and non-classical logics. Comput. Syst. Sci. Eng. 29 (5) (2014)
Manoj K. Raut, Manish K. Gupta
On Octonary Codes and their Covering Radii. CoRR (2014)
Manoj K. Raut
An Incremental Algorithm for Computing Prime Implicates in Modal Logic. TAMC (2014)
Manoj K. Raut
An Incremental Knowledge Compilation in First Order Logic CoRR (2011)
Arindama Singh, Manoj K. Raut
An algorithm for computing theory prime implicates in first order logic. Int. J. Inf. Commun. Technol. 1 (1) (2007)
Manoj K. Raut, Arindama Singh
Prime implicants of first order formulas via transversal clauses. Int. J. Comput. Math. 81 (2) (2004)
Manoj K. Raut, Arindama Singh
Prime Implicates of First Order Formulas. Int. J. Comput. Sci. Appl. 1 (1) (2004)