A backtracking algorithm for solving mixed task scheduling and resource allocation problems | IEEE Conference Publication | IEEE Xplore