找到让自己能力倍增的方法，如果不行，每隔几个月再尝试。
UNSAT problem with 10 variables and 200 clauses
，推荐阅读搜狗输入法下载获取更多信息
For UNSAT problems with 10 variables and 200 clauses, it always claimed that the formula is SAT and made up assignments (See this example).，这一点在WPS官方版本下载中也有详细论述
更多精彩内容，关注钛媒体微信号（ID：taimeiti），或者下载钛媒体App
更多详细新闻请浏览新京报网 www.bjnews.com.cn