Anavai Ramesh (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

7		Anavai Ramesh, Bernhard Beckert, Reiner Hähnle, Neil V. Murray: Fast Subsumption Checks Using Anti-Links. J. Autom. Reasoning 18(1): 47-83 (1997)
6		Anavai Ramesh, George Becker, Neil V. Murray: CNF and DNF Considered Harmful for Computing Prime Implicants/Implicates. J. Autom. Reasoning 18(3): 337-356 (1997)
5		Anavai Ramesh, Neil V. Murray: Avoiding Tests for Subsumption. AAAI 1994: 175-180
4		Anavai Ramesh, Neil V. Murray: Computing Prime Implicants/Implicates for Regular Logics. ISMVL 1994: 115-123
3		Bernard Becker, Reiner Hähnle, Anavai Ramesh, Neil V. Murray: On Anti-Links. LPAR 1994: 275-289
2		Anavai Ramesh, Neil V. Murray: Non-Clausal Deductive Techniques for Computing Prime Implicants and Prime Implicates. LPAR 1993: 277-288
1		Anavai Ramesh, George Becker, Neil V. Murray: On Computing Prime Implicants and Prime Implicates. TABLEAUX 1992: 73-75

Selection of 7 from 7 records - Anavai Ramesh has 5 coauthors