Parallel Induction Systems based on Branch and Bound