Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities
Leslie De KoninckPublished in: CoRR (2009)
Keyphrases
- constraint handling rules
- computational complexity
- worst case
- computationally efficient
- lower complexity
- recently developed
- significant improvement
- meta level
- optimization problems
- machine learning algorithms
- graph theory
- times faster
- orders of magnitude
- computational issues
- memory requirements
- computationally expensive
- computational efficiency
- real time
- computational cost
- data structure
- database systems
- machine learning