CNF and DNF considered harmful for computing prime implicants/implicates A Ramesh, G Becker, NV Murray Journal of Automated Reasoning 18, 337-356, 1997 | 75 | 1997 |
An application of non-clausal deduction in diagnosis A Ramesh, NV Murray Expert Systems with Applications 12 (1), 119-126, 1997 | 17 | 1997 |
Fast subsumption checks using anti-links A Ramesh, B Beckert, R Hähnle, NV Murray Journal of Automated Reasoning 18, 47-83, 1997 | 15 | 1997 |
Some applications of non clausal deduction AG Ramesh University at Albany, Department of Computer Science, 1995 | 13 | 1995 |
Non-clausal deductive techniques for computing prime implicants and prime implicates A Ramesh, NV Murray International Conference on Logic for Programming Artificial Intelligence …, 1993 | 13 | 1993 |
The semi-resolution inference rule and prime implicate computations NV Murray, A Ramesh, E Rosenthal Proceedings, 153-158, 1995 | 10 | 1995 |
Computing prime implicants/implicates for regular logics A Ramesh, NV Murray Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL …, 1994 | 8 | 1994 |
Parameterized prime implicant/implicate computations for regular logics A Ramesh, NV Murray Mathware & soft computing. 1997 Vol. 4 Núm. 2, 1997 | 7 | 1997 |
Avoiding tests for subsumption A Ramesh, NV Murray AAAI, 175-180, 1994 | 7 | 1994 |
An application of non-clausal deduction in diagnosis NV Murray, A Ramesh Proceedings of the Eighth International Symposium on Artificial Intelligence …, 0 | 6 | |
D-trie: A new data structure for a collection of minimal sets A Ramesh, NV Murray Technical Report SUNYA-CS-95-04, 1995 | 5 | 1995 |
On anti-links B Beckert, R Hähnle, A Ramesh, NV Murray Logic Programming and Automated Reasoning: 5th International Conference …, 1994 | 5 | 1994 |
CNF and DNF considered harmful for computing prime implicants/implicates A Ramesh, G Becker, NV Murray Department, Univ., 1993 | 4 | 1993 |
Propositional non clausal deduction and diagnosis A Ramesh, NV Murray, B Beckert, R Hähnle KI-95 Activities: Workshops, Posters, Demos. Workshop “Computational and …, 1995 | 1 | 1995 |
On computing prime implicants and prime implicates A Ramesh, G Becker, NV Murray State University of New York at Albany, Department of Computer Science, 1992 | 1 | 1992 |
Fast Subsumption Checks Using Anti-Links and Strictly Pure Full Blocks A Ramesh, NV Murray | | |
Anti-Links for Boolean Function Manipulation BBR Hähnle, NV Murray, A Ramesh | | |
Avoiding Tests for Subsum A Ramesh, NV Murray | | |