A Branch-and-Bound Algorithm For The Problem of Scheduling With a Conflict Graph | IEEE Conference Publication | IEEE Xplore