Optimization miniat如何高效地找到所有SAT解决方案

我找到了一种方法，使用本文描述的方法找到所有解决方案

这工作正常，但速度很慢。由于它从一开始就重新计算约束，因此不会利用以前的计算

现在，我从中看到，有一种更有效的方法，可以使用MiniSat作为库来查找所有解决方案。但这里并没有描述这种方式

你能给我指出正确的文档来有效地找到所有SAT解决方案吗

---

谢谢。

Yu、Subramanyan、Tsiskaridze和Malik在论文（）中介绍了一种寻找所有SAT解的更有效方法

迭代求解和添加阻塞子句的基本策略是相同的，但是阻塞子句是使用一种新的思想生成的，这减少了它们的大小。生成的阻塞子句比通常的原始部分赋值更小，因此每次迭代包含更令人满意的赋值，从而加快枚举过程

据我所知，本文中包含的思想没有公开的实现，您可以下载并运行。

您对“高效”的定义是什么，您认为为什么会有这种方式？