Manoj Raut
PhD (Mathematics), IIT Madras
- 079-68261585
- # 4112, FB-4, DA-IICT, Gandhinagar, Gujarat, India – 382007
- manoj_raut[at]daiict[dot]ac[dot]in
Specializations
Application of Logic in Computer SciencePublications
- 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