Лучшая эвристика для случаев с большинством из 2 пунктов
Моя Java-программа генерирует большой экземпляр CNF из своих данных. Экземпляр содержит в основном (>95% в большинстве случаев) эксклюзивные 2-предложения: (! Av! B). В настоящее время я использую Солвер по умолчанию. Когда я включаю все условия в программе, тогда решатель работает бесконечно. Я попытался выполнить некоторые опыты по оптимизации эвристики и конфигурации, но не повезло. Каков подходящий эвристический набор для решения таких случаев?