Before revision:  Some of the most successful algorithms for solving this problem use the branch-and-bound or branch-and-reduce paradigms.
After revision:  Some of the most successful algorithms for this problem are based on the branch-and-bound or branch-and-reduce paradigms.