發送短信

數:

提供者:

CAPTCHA:

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

Please enter what you see:

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