2-SAT问题浅析,论文资料。