分枝定界法经常以广度优先或最小代价（大收益）优先的方式搜索问题的解空间树。
在分支绑定方法中，每个活动节点只有一次机会成为扩展节点。一旦一个活动节点成为一个扩展节点，它的所有子节点将同时生成。在这些子节点中，放弃导致不可行解或非最优解的子节点，将剩余的子节点添加到活结表中。之后，活动节点表中的下一个节点成为当前扩展节点，并重复上述节点扩展过程。此过程将继续，直到找到解决方案或活动节点表为空。
什么是分支限界法？约束函数用于在扩展节点处切掉不满足约束的子树，有界函数用于切掉不能得到最优解的子树。这两类函数称为修剪函数。使用剪枝函数可以避免无效搜索，提高回溯法的搜索效率。在分枝定界法中使用剪枝函数可以加快搜索速度。该函数给出了每个可行节点对应子树大值的上界。如果上界不大于当前的最优值，则相应的子树不包含问题的最优解，因此可以将其截断。另一方面，可以将由上界函数确定的每个节点的上界值作为优先级，并且可以按优先级的非递增顺序提取当前扩展节点。这种策略有时可以更快地找到最优解。
