标签： sat sat4j
我的Java程序从其数据中生成一个大型CNF实例。该实例主要包含（在大多数情况下> 95％）独有的2子句:(！a v！b）。目前我使用Sat4j的默认解算器。当我启用程序中的所有条件时，解算器将无限期运行。我尝试过一些经验来优化启发式和配置，没有运气。解决此类实例的适当启发式设置是什么？
（An example instance.）