Search pruning (source code)

= Search pruning

= Pruning
{synonym}

Discarding a branch of a <search tree> after proving that no completion can satisfy the constraints or improve the current best solution. For minimization, a <lower bound> on every completion justifies pruning when it is at least the best value already found; this is the principle behind <branch and bound>.