Manoj K. Raut

Identifiers

• name variant Manoj K. Raut 0.60 · backfill

Papers (4)

1. An Algorithm for Computing Prime Implicates in Modal Logic Using Resolution cs.LO · 2018 · author #1
2. Computing Theory Prime Implicates in Modal Logic cs.LO · 2015 · author #1
3. On Octonary Codes and their Covering Radii cs.IT · 2014 · author #1
4. An Incremental Knowledge Compilation in First Order Logic cs.LO · 2011 · author #1

Mentions

• 1110.6738 #1 · backfill · confidence 0.70 Manoj K. Raut

Frequent Coauthors

• Manish K. Gupta 1 shared papers