Optimal and heuristic algorithms for solving the binding problem