Searching for "Fast Subsumption Algorithms." – sorted by Relevance.
-
Tailoring Representations to Different Requirements
- each local part of it is k-llocal. J"org-Uwe Kietz presents a fast subsumption algorithm for D = D 0
- Cited by 3 (1 self) – Add To MetaCart

