A logic-based approach to scheduling problems with resource constraints

Abstract
No abstract available