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

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