Anavai Ramesh

According to our database, Anavai Ramesh authored at least 7 papers between 1992 and 1997.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1997

CNF and DNF Considered Harmful for Computing Prime Implicants/Implicates.

Anavai Ramesh, George Becker, Neil V. Murray

J. Autom. Reason., 1997

Fast Subsumption Checks Using Anti-Links.

Anavai Ramesh, Bernhard Beckert, Reiner Hähnle, Neil V. Murray

J. Autom. Reason., 1997

1994

On Anti-Links.

Bernhard Beckert, Reiner Hähnle, Anavai Ramesh, Neil V. Murray

Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994

Computing Prime Implicants/Implicates for Regular Logics.

Anavai Ramesh, Neil V. Murray

Proceedings of the 24th IEEE International Symposium on Multiple-Valued Logic, 1994

Avoiding Tests for Subsumption.

Anavai Ramesh, Neil V. Murray

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993

Non-Clausal Deductive Techniques for Computing Prime Implicants and Prime Implicates.

Anavai Ramesh, Neil V. Murray

Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

1992

On Computing Prime Implicants and Prime Implicates.

Anavai Ramesh, George Becker, Neil V. Murray

Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992