Manoj K. Raut

According to our database, Manoj K. Raut authored at least 10 papers between 2004 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

An Algorithm for Computing Prime Implicates in Modal Logic.

Manoj K. Raut

CoRR, 2018

2017

Computing Theory Prime Implicates in Modal Logic.

Manoj K. Raut, Tushar V. Kokane, Rishabh Agarwal

Proceedings of the Intelligent Systems Design and Applications, 2017

2015

Computing Theory Prime Implicates in Modal Logic.

Manoj K. Raut

CoRR, 2015

On octonary codes and their covering radii.

Manoj K. Raut, Manish K. Gupta

Australas. J Comb., 2015

2014

A survey on computing prime implicants and implicates in classical and non-classical logics.

Manoj K. Raut, Arindama Singh

Comput. Syst. Sci. Eng., 2014

An Incremental Algorithm for Computing Prime Implicates in Modal Logic.

Manoj K. Raut

Proceedings of the Theory and Applications of Models of Computation, 2014

2011

An Incremental Knowledge Compilation in First Order Logic

Manoj K. Raut

CoRR, 2011

2007

An algorithm for computing theory prime implicates in first order logic.

Arindama Singh, Manoj K. Raut

Int. J. Inf. Commun. Technol., 2007

2004

Prime Implicates of First Order Formulas.

Manoj K. Raut, Arindama Singh

Int. J. Comput. Sci. Appl., 2004

Prime implicants of first order formulas via transversal clauses.

Manoj K. Raut, Arindama Singh

Int. J. Comput. Math., 2004