Efficient application of symbolic tools for resource booking problems | IEEE Conference Publication | IEEE Xplore