Modeling Parallel Branch-and-Bound for Asynchronous Implementations