FATHOM

Fathom - Arises in directed tree search . A node is fathomed if it is determined that no completion from this point could produce a better solution than one already obtained. This could happen by bounding the objective, or it can happen by determining there is no feasible solution with the partial specifications corresponding to the node.