Abstract
We present a new parallel best-first Branch and Bound algorithm designed for distributed memory machines. Starting from an axiomatization of the Branch and Bound pardigm, we develop the notion of fringes in the Branch and Bound tree which correspond to sets of equivalent problems. The algorithm proposed in this paper evaluates these sets of problems in parallel, during each phase of its execution. These computationally intensive phases alternate with control phases where synchronization and information exchange between processors lakes place. We use a probabilistic model for predicting the performances of this algorithm. Finally, we discuss the performances obtained on MIMD-DM multiprocessors for the asymmetric non-Euclidean Traveling Salesman Problem.