Efficient application of symbolic tools for resource booking problems. - Arash Vahidi; Bengt Lennartson; Dennis Arkeryd; Martin Fabian (ACC, 2001)