dblp.uni-trier.dewww.uni-trier.de

Anavai Ramesh Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1997
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)
1994
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
3EEBernard Becker, Reiner Hähnle, Anavai Ramesh, Neil V. Murray: On Anti-Links. LPAR 1994: 275-289
1993
2EEAnavai Ramesh, Neil V. Murray: Non-Clausal Deductive Techniques for Computing Prime Implicants and Prime Implicates. LPAR 1993: 277-288
1992
1 Anavai Ramesh, George Becker, Neil V. Murray: On Computing Prime Implicants and Prime Implicates. TABLEAUX 1992: 73-75

Coauthor Index

1Bernard Becker [3]
2George Becker [1] [6]
3Bernhard Beckert [7]
4Reiner Hähnle [3] [7]
5Neil V. Murray [1] [2] [3] [4] [5] [6] [7]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)