Task scheduling in manufacturing systems based on an efficient branch and bound algorithm | IEEE Conference Publication | IEEE Xplore