Manoj K. Raut

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