Vitalsource Technologies, Inc. Constraint-based Scheduling