Classification criteria:
- Computation
- Admissibility/Completeness
- Generality
| Classification |
Domain |
Instance |
Subtree |
| Static |
Admissible |
Lower Bound |
Tunnel Macro |
Move Ordering |
| Complete |
-- |
-- |
-- |
| Incomplete |
-- |
Relevance Cuts |
Goal Cuts |
| Dynamic |
Admissible |
Deadlock Tables |
-- |
Pattern Searches |
| -- |
-- |
Transposition Table |
| Complete |
-- |
-- |
Overestimation |
| Incomplete |
-- |
Goal Macros |
-- |
|
