Home page of Manoj Raut
Manoj K. Raut
Assistant Professor
Room 4112, Faculty Block 4
DA-IICT
Gandhinagar, Gujarat - 382007
India
Telephone: +91-79-3051-0585
Email: manoj_raut@daiict.ac.in
My CV
Research Areas
Application of logic in computer science, Algorithm, Theory of Computation and Cryptography
Teaching
IT 325: Introduction to Cryptography
IT 422: Theory of Computation
IT 423: Compiler Design
IT 424: Logic for Computer Science
IT 611: Discrete Mathematics
IT 623: Data Structure and Algorithms
Best Paper
The Paper titled An Algorithm for Computing Theory Prime Implicates in First Order
Logic (with A. Singh) was awarded as the best paper in International Conference on
Information Technology, Bhubaneswar Dec. 2005.
Journal Publications
Computing Prime Implicants of First Order formulas via Transversal Clauses, M. K. Raut, and A. Singh,
International Journal of Computer Mathematics, Vol. 81, No. 2, 157-167, Feb.
2004.
Prime Implicates of First Order Formulas, M. K. Raut, A. Singh, International Journal of Com-
puter Science and Applications, Vol. 1, No. 1, pp.1-11, 2004.
An Algorithm for Computing Theory Prime Implicates in First Order Logic, M. K. Raut and A. Singh,
International Journal on Information and Communication Technology, Vol 1, No
1, 2007.
An Incremental Knowledge Compilation in First Order Logic, International Journal on
Information Processing, M. K Raut, Vol 2, No.1, 2008,
An Incremental Algorithm for Computing Prime Implicates in Modal Logic, M. K Raut, 2011
(Communicated)
A survey on Computing Prime implicants and Implicates in Classical and Non-classical Logics,
M. K Raut, and A. Singh, 2011, (Communicated)
Conferences Papers
An Algorithm for Computing Theory Prime Implicates in First Order Logic(with A.
Singh), International Conference on Information Technology, Dec. 2005.
Adequacy of Calculational Logic (with A. Singh), Journal of Orissa Mathematical Society.,
Vol. 21-22, PP 53-68, 2002-2003.