Bridging the gap between exact methods and heuristics for multi-objective search