Optimal Tableau Algorithms for Coalgebraic Logics.
Rajeev GoréClemens KupkeDirk PattinsonPublished in: TACAS (2010)
Keyphrases
- worst case
- optimization problems
- times faster
- computational complexity
- theoretical analysis
- computational efficiency
- efficient algorithms for computing
- significant improvement
- computational cost
- clustering algorithm
- search algorithm
- computationally efficient
- recently developed
- greedy heuristic
- approximately optimal