Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms: Theory, Implementations, and Complexity.
Thom W. FrühwirthPublished in: Fundam. Informaticae (2020)
Keyphrases
- computational complexity
- times faster
- computational cost
- complexity analysis
- worst case
- theoretical framework
- efficient implementation
- data sets
- memory requirements
- computational efficiency
- machine learning algorithms
- linear algebra
- space complexity
- high computational complexity
- general theory
- lower complexity
- parallel implementations
- computationally complex
- orders of magnitude
- theoretical analysis
- computationally efficient
- optimization problems
- knowledge base
- combinatorial optimization
- graph theory
- benchmark datasets
- significant improvement
- bayesian networks
- computer vision