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

           __   __             _    _      _____  
  ____     \ \\/ //   ____    | || | ||   / ___// 
 |    \\    \ ` //   |    \\  | || | ||   \___ \\ 
 | [] ||     | ||    | [] ||  | \\_/ ||   /    // 
 |  __//     |_||    |  __//   \____//   /____//  
 |_|`-`      `-`'    |_|`-`     `---`   `-----`   
 `-`                 `-`