Cloud-Oriented SAT Solver Based on Obfuscating CNF Formula.

Ying Qin, ShengYu Shen, Jingzhu Kong, Huadong Dai

Browse the full APWEB paper archive.