發送短信 : Improved algorithms for the general exact satisfiability problem

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