Prime Implicates of First Order Formulas. MK Raut, A Singh IJCSA 1 (1), 1-11, 2004 | 20 | 2004 |

On octonary codes and their covering radii MK Raut, MK Gupta arXiv preprint arXiv:1411.1822, 2014 | 6 | 2014 |

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 | 6 | 2014 |

Prime implicants of first order formulas via transversal clauses MK Raut, A Singh International Journal of Computer Mathematics 81 (2), 157-167, 2004 | 6 | 2004 |

An incremental algorithm for computing prime implicates in modal logic MK Raut International Conference on Theory and Applications of Models of Computation …, 2014 | 5 | 2014 |

An incremental knowledge compilation in first order logic MK Raut arXiv preprint arXiv:1110.6738, 2011 | 4 | 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 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 | | |