Constraint Satisfaction Approach to Scheduling DHCR Process