Branch-and-bound style resource constrained scheduling using efficient structure-aware pruning | IEEE Conference Publication | IEEE Xplore