發送短信 : Schedulers and redundancy for a class of constraint propagation rules

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