Complexity and Algorithms for Monomial and Clausal Predicate Abstraction.
Shuvendu K. LahiriShaz QadeerPublished in: CADE (2009)
Keyphrases
- worst case
- computational complexity
- computational cost
- space complexity
- high computational complexity
- recently developed
- data structure
- theoretical analysis
- times faster
- computationally efficient
- theorem proving
- machine learning algorithms
- memory requirements
- orders of magnitude
- benchmark datasets
- learning algorithm
- knowledge representation
- knowledge base