Cube pruning as heuristic search