问题描述
我想知道Google或工具是否支持incremental SAT solving？
SAT的许多应用都是基于求解一系列增量生成的SAT实例。在这种情况下，SAT解算器会在不同的假设下在同一公式上多次调用。此外，通过在调用之间添加新的子句和变量来扩展公式。可以通过独立解决增量生成的实例来解决此类问题，但是与增量SAT求解器相比，效率可能非常低，后者可以重用在求解先前实例时获得的知识（例如，学习的子句）。
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）