שליחה במסרון: Investigations into generalization of constraint-based scheduling theories with applications to space telescope observation scheduling : final report for NASA contract # NCC 2-531 / prepared by Nicola Muscettola and Steven S. Smith.