Picosat SAT求解器:设置传播限制--但是值是多少？

Question

在API中：

/* As alternative to a decision limit you can use the number of propagations
 * as limit.  This is more linearly related to execution time. This has to
 * be called after 'picosat_init' and before 'picosat_sat'.
 */
void picosat_set_propagation_limit (PicoSAT *, unsigned long long limit);

我查看了文档，但找不到任何细节。我应该选择什么值？还有比随机测试更好的猜测吗？后者可能需要几天时间，因为我的执行时间在一次运行中最长可达24小时。

我实际上使用的是picosat的python绑定"pycosat“。

PS:有人可以添加"picosat“标签吗？

Answer 1

参数propagation_limit是结果模型的最大大小，对我来说，它与磁盘大小相关(1M表示1MB文本文件)。