Manoj K. Raut

2007
3	EE	Arindama Singh, Manoj K. Raut: An algorithm for computing theory prime implicates in first order logic. IJICT 1(1): 4-13 (2007)
2004
2	EE	Manoj K. Raut, Arindama Singh: Prime Implicates of First Order Formulas. IJCSA 1(1): 1-11 (2004)
1	EE	Manoj K. Raut, Arindama Singh: Prime implicants of first order formulas via transversal clauses. Int. J. Comput. Math. 81(2): 157-167 (2004)

Coauthor Index

1

Arindama Singh

[1] [2] [3]