 Results on branch-and-reduce algorithms  were to a large part achieved by developing new, more practical reduction rules.
<clarity>  Results on branch-and-reduce algorithms  were to a large part achieved by developing new, more practical reduction rules.
 In particular, branch-and-reduce algorithms were to a large part achieved by developing new, more practical reduction rules.