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”python绑定picosat。

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

Answer 1

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