A new effcient algorithm for solving the simple temporal problem | IEEE Conference Publication | IEEE Xplore