Prime implicants of first order formulas via transversal clauses MK Raut, A Singh International Journal of Computer Mathematics 81 (2), 157-167, 2004 | 22 | 2004 |
On octonary codes and their covering radii MK Raut, MK Gupta arXiv preprint arXiv:1411.1822, 2014 | 8 | 2014 |
A survey on computing prime implicants and implicates in classical and non-classical logics. MK Raut, A Singh Computer Systems Science & Engineering 29 (5), 2014 | 6 | 2014 |
An incremental algorithm for computing prime implicates in modal logic MK Raut International Conference on Theory and Applications of Models of Computation …, 2014 | 6 | 2014 |
An incremental knowledge compilation in first order logic MK Raut arXiv preprint arXiv:1110.6738, 2011 | 5 | 2011 |
Computing Theory Prime Implicates in Modal Logic MK Raut, TV Kokane, R Agarwal International Conference on Intelligent Systems Design and Applications, 273-282, 2017 | 1 | 2017 |
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 | 1 | 2007 |
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 |
Computing Prime Implicates in Modal Logic by Direct Resolution MK Raut Australasian Journal of Logic 18 (4), 0 | | |
Knowledge Compilation: A Unit Resolution Approach MK Raut, A Singh | | |
Theory Prime Implicates of First Order Formulas MK Raut, A Singh | | |