赵爽的《2-SAT解法浅析》。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。