Searching for authors named Anavai Ramesh – sorted by Relevance.
-
Avoiding Tests for Subsumption +
- Avoiding Tests for Subsumption + Anavai Ramesh Neil V. Murray Inst. for Programming and Logics
- Add To MetaCart
-
An Application of Non-Clausal Deduction in Diagnosis
- AN APPLICATION OF NON-CLAUSAL DEDUCTION IN DIAGNOSIS Anavai Ramesh Neil V. Murray Inst
- Cited by 6 (6 self) – Add To MetaCart
-
The Semi-Resolution Inference Rule and Prime Implicate Computations
- The Semi-Resolution Inference Rule and Prime Implicate Computations Neil V. Murray Anavai Ramesh
- Cited by 4 (4 self) – Add To MetaCart
-
CNF and DNF Considered Harmful for Computing Prime Implicants / Implicates
- CNF and DNF Considered Harmful for Computing Prime Implicants / Implicates Anavai Ramesh George
- Cited by 10 (8 self) – Add To MetaCart
-
Anti-Links for Boolean Function Manipulation
- www.ira.uka.de/hnamei/ Neil V. Murray Anavai Ramesh Institute for Programming & Logics Department
- Add To MetaCart
-
On Anti-Links
- Status: RO On Anti-Links + Bernhard Beckert # , Reiner H .. ahnle # , Anavai Ramesh * , and Neil V
- Cited by 7 (7 self) – Add To MetaCart
-
Fast Subsumption Checks Using Anti-Links
- Fast Subsumption Checks Using Anti-Links Anavai Ramesh y Intel Corporation, MS CH6-418, 5000 W
- Cited by 4 (4 self) – Add To MetaCart
-
On Anti-Links
-
13:23:23 -0400 From: Anavai G Ramesh
Received: (rameshag@localhost) by karp - Add To MetaCart

