在交错搜索中支持 `objective_lb_search`

** 这适用于何种语言和解决办法? ** CP-SAT 卫星

** 说明你想解决的问题。 **

我研究编译器里嵌入的排程问题 因为这是一个编译器应用程序,所以决定主义是一个硬性要求,这要求我允许多个工人时使用互放式搜索.

我发现,`客观 lb search'对于证明我最小化的问题的下限非常有效。

说明你想要的解决方案

请将“ objective lb search” 显示为互页搜索中支持的子解析器 ?

** 说明你考虑过的备选办法**

我在互页搜索中尝试了各种支持的解析器, 包括添加我自己配置的各种子解析器。 虽然CP-SAT经常找到最佳的解决办法,但它经常在合理的(决定性的)时间内努力证明最佳性,而不需要`客观 lb search',这对我们的汇编时间至关重要。

** 其他情况**

如果可能的话,我也会感谢大家对剩下的解答者的支持,尽管目前他们对我来说并不像`客观 lb search'那样重要:

• lb 树木搜索
• 探测 搜索
• 目标( S)