Manoj K Raut
Manoj K Raut
Associate Professor, DA-IICT Gandhinagar
Verified email at daiict.ac.in - Homepage
Title
Cited by
Cited by
Year
Prime Implicates of First Order Formulas.
MK Raut, A Singh
IJCSA 1 (1), 1-11, 2004
202004
On octonary codes and their covering radii
MK Raut, MK Gupta
arXiv preprint arXiv:1411.1822, 2014
62014
A survey on computing prime implicants and implicates in classical and non-classical logics
MK Raut, A Singh
Computer Systems Science and Engineering 29 (5), 327-340, 2014
62014
Prime implicants of first order formulas via transversal clauses
MK Raut, A Singh
International Journal of Computer Mathematics 81 (2), 157-167, 2004
62004
An incremental algorithm for computing prime implicates in modal logic
MK Raut
International Conference on Theory and Applications of Models of Computation …, 2014
52014
An incremental knowledge compilation in first order logic
MK Raut
arXiv preprint arXiv:1110.6738, 2011
42011
Computing Theory Prime Implicates in Modal Logic
MK Raut, TV Kokane, R Agarwal
International Conference on Intelligent Systems Design and Applications, 273-282, 2017
12017
An Algorithm for Computing Prime Implicates in Modal Logic Using Resolution
MK Raut
arXiv preprint arXiv:1811.04566, 2018
2018
An Algorithm for Computing Prime Implicates in Modal Logic.
MK Raut
CoRR, 2018
2018
An algorithm for computing theory prime implicates in first order logic
A Singh, MK Raut
International Journal of Information and Communication Technology 1 (1), 4-13, 2007
2007
Knowledge Compilation: A Unit Resolution Approach
MK Raut, A Singh
Theory Prime Implicates of First Order Formulas
MK Raut, A Singh
The system can't perform the operation now. Try again later.
Articles 1–12