Manoj K. Raut

11 papers C 2Journal 9
YearRankTypeTitle / Venue / Authors
2018 J jnl
An Algorithm for Computing Prime Implicates in Modal Logic.
CoRR
Manoj K. Raut
2017 C conf
Computing Theory Prime Implicates in Modal Logic.
ISDA
Manoj K. Raut, Tushar V. Kokane, Rishabh Agarwal
2015 J jnl
Computing Theory Prime Implicates in Modal Logic.
CoRR
Manoj K. Raut
2015 J jnl
On octonary codes and their covering radii.
Australas. J Comb.
Manoj K. Raut, Manish K. Gupta
2014 J jnl
A survey on computing prime implicants and implicates in classical and non-classical logics.
Comput. Syst. Sci. Eng.
Manoj K. Raut, Arindama Singh
2014 C conf
An Incremental Algorithm for Computing Prime Implicates in Modal Logic.
TAMC
Manoj K. Raut
2014 J jnl
On Octonary Codes and their Covering Radii.
CoRR
Manoj K. Raut, Manish K. Gupta
2011 J jnl
An Incremental Knowledge Compilation in First Order Logic
CoRR
Manoj K. Raut
2007 J jnl
An algorithm for computing theory prime implicates in first order logic.
Int. J. Inf. Commun. Technol.
Arindama Singh, Manoj K. Raut
2004 J jnl
Prime Implicates of First Order Formulas.
Int. J. Comput. Sci. Appl.
Manoj K. Raut, Arindama Singh
2004 J jnl
Prime implicants of first order formulas via transversal clauses.
Int. J. Comput. Math.
Manoj K. Raut, Arindama Singh