Manoj Kumar raut
Assistant Professor
Information & Communication technology
Dhirubhai Ambani Institute of Information & Communication Technology
India
Biography
He completed his PhD from IIT Madras, Chennai in 2004 amd later worked as Postdoctoral Research Fellow from TIFR Mumbai (2005).
Research Interest
Application of logic in computer scienc.
Publications
-
Raut MK. An incremental knowledge compilation in first order logic. arXiv preprint arXiv:1110.6738. 2011 Oct 31.
-
Raut MK, Singh A. A survey on computing prime implicants and implicates in classical and non-classical logics. COMPUTER SYSTEMS SCIENCE AND ENGINEERING. 2014 Sep 1;29(5):327-40.
-
Chiu MH, Yau SS, Yu Y. Z8-cyclic codes and quadratic residue codes. Advances in Applied Mathematics. 2000 Jul 1;25(1):12-33.
