Manoj K. Raut
From MaRDI portal
Person:3451455
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| On octonary codes and their covering radii | 2015-11-16 | Paper |
| On octonary codes and their covering radii (available as arXiv preprint) | 2015-11-16 | Paper |
| An incremental algorithm for computing prime implicates in modal logic Lecture Notes in Computer Science | 2014-04-16 | Paper |
| Prime implicants of first order formulas via transversal clauses International Journal of Computer Mathematics | 2004-05-27 | Paper |
Research outcomes over time
This page was built for person: Manoj K. Raut