Manoj K. Raut
From MaRDI portal
Person:3451455
Available identifiers
zbMath Open raut.manoj-kMaRDI QIDQ3451455
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 |
| An incremental algorithm for computing prime implicates in modal logic | 2014-04-16 | Paper |
| Prime implicants of first order formulas via transversal clauses | 2004-05-27 | Paper |
Research outcomes over time
This page was built for person: Manoj K. Raut
