LOGIC-BASED CONSTRAINT HANDLING IN RESOURCE-CONSTRAINED SCHEDULING PROBLEMS