 | 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 |
| 3 |  | Bernard Becker,
Reiner Hähnle,
Anavai Ramesh,
Neil V. Murray:
On Anti-Links.
LPAR 1994: 275-289 |
| 1993 |
|---|
| 2 | | Anavai 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 |
