Bob++: Framework for Solving Optimization Problems with Branch-and-Bound methods. - A. Djerrah; Bertrand Le Cun; Van-Dat Cung; Catherine Roucairol (HPDC, 2006)