[philipov]

A related meta-technique is "starting at both ends and meeting in the middle". It's kind of like the inverse of binary search in some sense, isn't it?