Searching for authors named "Erik Rosenthal" – sorted by Relevance.
-
Knowledge Compilation: Decomposable Negation Normal Form versus Linkless Formulas
- 1 and Erik Rosenthal 2 1 Department of Computer Science, State University of New York, Albany, NY
- Add To MetaCart
-
The Semi-Resolution Inference Rule and Prime Implicate Computations
- Erik Rosenthal Dept. of Computer Science Dept. of Mathematics State University of New York University
- Cited by 4 (4 self) – Add To MetaCart
-
Duality in Knowledge Compilation Techniques
- Duality in Knowledge Compilation Techniques ⋆ Neil V. Murray 1 and Erik Rosenthal 2 1 Department
- Cited by 2 (2 self) – Add To MetaCart
-
Updating reduced implicate tries
- Updating Reduced Implicate Tries Neil V. Murray 1 and Erik Rosenthal 2 1 Department of Computer
- Cited by 1 (1 self) – Add To MetaCart
-
Efficient query processing with compiled knowledge bases
- Efficient Query Processing with Compiled Knowledge Bases Neil V. Murray 1 and Erik Rosenthal 2 1
- Cited by 3 (3 self) – Add To MetaCart
-
Efficient Query Processing with Reduced Implicate Tries. To appear, Journal of Automated Reasoning
- @(email omitted);) Department of Computer Science, State University of New York, Albany, NY 12222, USA Erik Rosenthal
- Cited by 3 (3 self) – Add To MetaCart
-
Linear Response Time for Implicate and Implicant Queries ⋆
- @(email omitted); and Erik Rosenthal Department of Mathematics University of New Haven North Haven, CT 06516 erik
- Cited by 1 (1 self) – Add To MetaCart
-
Reduced Implicate/Implicant Tries ⋆
- Reduced Implicate/Implicant Tries ⋆ Neil V. Murray 1 and Erik Rosenthal 2 1 Department of Computer
- Add To MetaCart
-
Completeness for Linear Regular Negation Normal Form Inference Systems
- V. Murray 2 , Erik Rosenthal 3 1 Department of Computer Science, University of Karlsruhe, 76128
- Cited by 7 (3 self) – Add To MetaCart
-
Ordered Resolution vs. Connection Graph Resolution
- Ordered Resolution vs. Connection Graph Resolution Reiner Hahnle 1 , Neil V. Murray 2 , Erik
- Cited by 1 (1 self) – Add To MetaCart

