Cloud-Oriented SAT Solver Based on Obfuscating CNF Formula. - Ying Qin; ShengYu Shen; Jingzhu Kong; Huadong Dai (APWeb Workshophs, 2014)