From: http://blog.sina.com.cn/s/blog_64675f540100k2xj.html
poj 3207 http://blog.sina.com.cn/s/blog_64675f540100k13v.html
poj 3678 http://blog.sina.com.cn/s/blog_64675f540100k15b.html
poj 3683 http://blog.sina.com.cn/s/blog_64675f540100k1cd.html
poj 3648 http://blog.sina.com.cn/s/blog_64675f540100k1g9.html
poj 2723 http://blog.sina.com.cn/s/blog_64675f540100k2rh.html
poj 2749 http://blog.sina.com.cn/s/blog_64675f540100k2xf.html
参考:由对称性解2-SAT问题