Branch and bound adalah heuristik yang efektif untuk masalah pencarian, dan Wikipedia mencantumkan sejumlah masalah sulit di mana branch-and-bound telah digunakan. Namun, saya belum dapat menemukan referensi untuk menyarankan bahwa itu lebih dari sekedar "satu metode" untuk menyelesaikan masalah ini.
Secara anekdot, saya pernah mendengar bahwa beberapa heuristik terbaik untuk SAT dan pemrograman integer berasal dari cabang dan terikat, jadi pertanyaan saya adalah:
Dapatkah seseorang mengarahkan saya ke referensi yang merinci penggunaan cabang yang efektif dan terikat untuk masalah NP-hard?