Ramificar y vincular es una heurística eficaz para los problemas de búsqueda, y Wikipedia enumera una serie de problemas difíciles en los que se ha utilizado ramificar y vincular. Sin embargo, no he podido encontrar referencias que sugieran que es más que solo "un método" para resolver estos problemas.
Como anécdota, escuché que algunas de las mejores heurísticas para la programación de SAT y enteros provienen de la rama y el límite, por lo que mi pregunta es:
¿Alguien puede señalarme alguna referencia que detalle los usos efectivos de la rama y los problemas de NP-hard?