SMS: Ant colony optimization and constraint programming