Anavai Ramesh

Publication Activity (10 Years)

Years Active: 1992-1997
Publications (10 Years): 0

Publications

Anavai Ramesh, George Becker, Neil V. Murray
CNF and DNF Considered Harmful for Computing Prime Implicants/Implicates. J. Autom. Reason. 18 (3) (1997)
Anavai Ramesh, Bernhard Beckert, Reiner Hähnle, Neil V. Murray
Fast Subsumption Checks Using Anti-Links. J. Autom. Reason. 18 (1) (1997)
Anavai Ramesh, Neil V. Murray
Avoiding Tests for Subsumption. AAAI (1994)
Anavai Ramesh, Neil V. Murray
Computing Prime Implicants/Implicates for Regular Logics. ISMVL (1994)
Bernhard Beckert, Reiner Hähnle, Anavai Ramesh, Neil V. Murray
On Anti-Links. LPAR (1994)
Anavai Ramesh, Neil V. Murray
Non-Clausal Deductive Techniques for Computing Prime Implicants and Prime Implicates. LPAR (1993)
Anavai Ramesh, George Becker, Neil V. Murray
On Computing Prime Implicants and Prime Implicates. TABLEAUX (1992)