Rozgałęzienie i powiązanie to skuteczna heurystyka dla problemów wyszukiwania, a Wikipedia wymienia wiele trudnych problemów, w których zastosowano rozgałęzienie i powiązanie. Jednak nie udało mi się znaleźć referencji sugerujących, że jest to więcej niż „jedna metoda” rozwiązania tych problemów.
Anegdotycznie słyszałem, że jedne z najlepszych heurystyki dla programowania SAT i liczb całkowitych pochodzą z gałęzi i są powiązane, więc moje pytanie brzmi:
Czy ktoś może wskazać mi jakieś odniesienia opisujące efektywne wykorzystanie gałęzi i związane z trudnymi NP?