發送短信 : Hybrid solving algorithms for an extended dynamic constraint satisfaction problem based configuration system

 __   __    _____    _    _    __   __    ______  
 \ \\/ //  |  ___|| | || | ||  \ \\/ //  /_   _// 
  \   //   | ||__   | || | ||   \ ` //     | ||   
  / . \\   | ||__   | \\_/ ||    | ||     _| ||   
 /_//\_\\  |_____||  \____//     |_||    /__//    
 `-`  --`  `-----`    `---`      `-`'    `--`