Search Space Compression in Connection Tableau Calculi Using Disjunctive Constraints.
Ortrun IbensPublished in: TABLEAUX (2000)
Keyphrases
- disjunctive constraints
- search space
- reducing the search space
- constraint satisfaction problems
- reduce the search space
- search algorithm
- qualitative spatial and temporal reasoning
- data compression
- description logics
- compression algorithm
- compression ratio
- heuristic search
- search strategy
- image compression
- compression scheme
- optimal solution
- search tree
- fitness function
- constraint logic programming
- constraint satisfaction
- constraint propagation
- lossless compression
- data mining
- visual information
- sat solvers
- state space