Branch and BoundUm paradigma de design de algoritmo para problemas de otimização discreta e combinatória. Ele enumera sistematicamente todos os candidatos a solução e descarta grandes subconjuntos de candidatos inviáveis.