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绑定。在

有人能加上“picosat”标签吗？在

Answer 1

参数propagation_limit是结果模型的最大大小，对我来说它与磁盘大小相关（1MB文本文件中有一百万个结果）。在