Three mechanisms for managing resource constraints in a library for constraint-based scheduling | IEEE Conference Publication | IEEE Xplore