Algorithms and Complexity of Difference Logic.
Konrad K. DabrowskiPeter JonssonSebastian OrdyniakGeorge OsipovPublished in: CoRR (2024)
Keyphrases
- computational complexity
- computationally efficient
- orders of magnitude
- computational cost
- worst case
- space complexity
- reduced complexity
- high computational complexity
- lower complexity
- optimization problems
- data mining techniques
- theoretical analysis
- times faster
- complexity measures
- case study
- graph theory
- combinatorial optimization
- data mining algorithms
- description logics
- knowledge representation
- data structure