發送短信 : A Micro-Genetic Algorithm Approach for Soft Constraint Satisfaction Problem in University Course Scheduling