Áp dụng thành công các phương pháp phân nhánh và liên kết cho các bài toán NP-hard

Chi nhánh và ràng buộc là một heuristic hiệu quả cho các vấn đề tìm kiếm và Wikipedia liệt kê một số vấn đề khó khăn trong đó chi nhánh và liên kết đã được sử dụng. Tuy nhiên, tôi không thể tìm thấy tài liệu tham khảo để đề xuất rằng đó không chỉ là "một phương pháp" để giải quyết những vấn đề này.

Thông thường, tôi đã nghe nói rằng một số phương pháp phỏng đoán tốt nhất cho SAT và lập trình số nguyên đến từ chi nhánh và ràng buộc, vì vậy câu hỏi của tôi là:

Ai đó có thể chỉ cho tôi bất kỳ tài liệu tham khảo chi tiết sử dụng hiệu quả của chi nhánh và ràng buộc cho các vấn đề NP-hard không?

Đối với TSP, hãy kiểm tra cuốn sách này ... http://www.tsp.gatech.edu/book/index.html

Hiểu biết của tôi là không có một công cụ để giết tất cả. Có thể cho rằng bất kỳ giải pháp đệ quy nào triển khai quay lui và một số chức năng cho điểm đang sử dụng nhánh và ràng buộc. Như vậy, một phần lớn các bộ giải cho các bài toán NP khó sử dụng một số dạng nhánh và ràng buộc.

Vấn đề phân vùng Clique có thể không phải là vấn đề NP-hard phổ biến nhất, nhưng nó đã được giải quyết hiệu quả bằng cách sử dụng chi nhánh và ràng buộc, xem bài viết này: http://joc.journal.informs.org/content/6/2/141 .trừu tượng

Các thuật toán hàm mũ chính xác là một cuốn sách hay gần đây về các thuật toán như vậy. Thuật toán X cho bài toán bìa chính xác cũng là điều tốt để biết.