发送短信 : Real time scheduling for autonomous mobile robots using genetic algorithm and constraint based reasoning