أرسل هذا في رسالة قصيرة: Improved algorithms for the general exact satisfiability problem

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