热度排名 #588

逻辑、优化与约束编程如何互相借力？

Logic, Optimization, and Constraint Programming: A Fruitful Collaboration

约翰·胡克从推理和优化之间的联系讲起。跟着一条排除不可行解的规则，看它既能理解为逻辑结论，也能理解为缩小搜索范围的约束。

Simons Institute for the Theory of Computing · 2 串讨论 · 热度 4.298

讨论出处