由对称性解2-SAT问题.pdf 2.0 MB