python - 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 小时。

我实际上使用“pycosat”为picosat 的python 绑定。

PS：有人可以添加“picosat”标签吗？

Answer 1

参数propagation_limit 是生成模型的最大大小，对我而言，它与磁盘大小相关（100 万个结果为 1 MB 文本文件）。