Vector binary search