Branch-and-Bound ist eine effektive Heuristik für Suchprobleme, und Wikipedia listet eine Reihe schwerwiegender Probleme auf, bei denen Branch-and-Bound verwendet wurde. Es ist mir jedoch nicht gelungen, Referenzen zu finden, die darauf hindeuten, dass dies mehr als nur eine Methode zur Lösung dieser Probleme ist.
Anekdotisch habe ich gehört, dass einige der besten Heuristiken für SAT- und Integer-Programmierung von Branch and Bound stammen, daher lautet meine Frage:
Kann mich jemand auf Referenzen hinweisen, die die effektive Nutzung von Zweigen und die Bewältigung von NP-schwierigen Problemen beschreiben?