每批的确定性时间的 SatParameter

此问题适用于哪种语言和求解器?

CP-SAT, interleave_search: true

请描述您要解决的问题。

在一些大型 CP-SAT 实例中,交错搜索只能运行少数批次,因为单个完整问题子求解器块的耗时非常长。在一个案例中,几个快速重启变体找到了可行的解决方案,大约为 100 秒,但总耗时约为 600 秒。任务计时表显示, no_lp 块花费了每个块数分钟的耗时。由于交错批次似乎在选定的子求解器完成其块后才同步,因此直到很晚才报告有用的解决方案。