Specializations

Application of Logic in Computer Science

Publications

• Manoj K. Raut, and Manish K. Gupta, On Octonary Codes and their Covering Radii, Australasian Journal of Combinatorics, Vol 63(2), pp 246-261, 2015.https://ajc.maths.uq.edu.au/pdf/63/ajc_v63_p246.pdf
• Manoj K. Raut, An Incremental Algorithm for Computing Prime Implicates in Modal Logic, In Proceedings of Theory and Applications of Models of Computation (TAMC) 2014, LNCS 8402, pp 188-202, 2014.https://link.springer.com/chapter/10.1007/978-3-319-06089-7_13
• Manoj K. Raut, and Arindama Singh, Computing Prime Implicants of First Order formulas via Transversal Clauses, International Journal of Computer Mathematics, Vol. 81, No. 2, 157-167, Feb. 2004.https://doi.org/10.1080/00207160310001650071

Teaching

• Logic in Computer Science
• Discrete Mathematics
• Coding Theory