https://blog.qife122.com/tags/%E7%BA%A6%E6%9D%9F%E6%B1%82%E8%A7%A3/ Recent content in 约束求解 on 办公AI智能小助手 Hugo zh-cn qife Fri, 17 Oct 2025 17:46:03 +0800 https://blog.qife122.com/p/%E7%BA%A6%E6%9D%9F%E6%B1%82%E8%A7%A3%E6%8A%80%E6%9C%AF%E5%AE%9E%E6%88%98satsmt%E4%B8%8Ecp%E7%9A%84%E7%B2%BE%E5%BD%A9%E9%A1%B9%E7%9B%AE%E8%A7%A3%E6%9E%90/ Fri, 17 Oct 2025 17:46:03 +0800 https://blog.qife122.com/p/%E7%BA%A6%E6%9D%9F%E6%B1%82%E8%A7%A3%E6%8A%80%E6%9C%AF%E5%AE%9E%E6%88%98satsmt%E4%B8%8Ecp%E7%9A%84%E7%B2%BE%E5%BD%A9%E9%A1%B9%E7%9B%AE%E8%A7%A3%E6%9E%90/ <h1 id="约束求解技术实战satsmt与cp的精彩项目解析">约束求解技术实战：SAT、SMT与CP的精彩项目解析</h1> <p>我有幸参加了本周早些时候举办的Dagstuhl研讨会，主题是“将CP、SAT和SMT结合在一起”，并了解到了一些之前未曾听闻的非常酷的工作，特别是在约束满足和优化领域。虽然还有许多其他精彩的演讲和讨论，但以下是我记录下来准备尝试的项目。</p> https://blog.qife122.com/p/satsmt%E4%B8%8Ecp%E8%BE%BE%E6%A0%BC%E6%96%AF%E5%9B%BE%E5%B0%94%E7%A0%94%E8%AE%A8%E4%BC%9A%E4%B8%AD%E7%9A%84%E7%B2%BE%E5%BD%A9%E9%A1%B9%E7%9B%AE/ Mon, 13 Oct 2025 18:47:27 +0800 https://blog.qife122.com/p/satsmt%E4%B8%8Ecp%E8%BE%BE%E6%A0%BC%E6%96%AF%E5%9B%BE%E5%B0%94%E7%A0%94%E8%AE%A8%E4%BC%9A%E4%B8%AD%E7%9A%84%E7%B2%BE%E5%BD%A9%E9%A1%B9%E7%9B%AE/ <h1 id="达格斯图尔研讨会中一些很酷的项目">达格斯图尔研讨会中一些很酷的项目</h1> <p>我很幸运地参加了本周早些时候举行的名为&quot;将CP、SAT和SMT融合&quot;的达格斯图尔研讨会，并了解到了一些我之前从未听说过的非常酷的工作，特别是在约束满足和优化领域。虽然还有许多其他精彩的演讲和讨论，但以下是我记下要尝试的项目。</p> https://blog.qife122.com/p/satsmt%E4%B8%8Ecp%E8%BE%BE%E6%88%88%E6%96%AF%E5%9B%BE%E5%B0%94%E7%A0%94%E8%AE%A8%E4%BC%9A%E4%B8%AD%E7%9A%84%E9%85%B7%E7%82%AB%E9%A1%B9%E7%9B%AE%E8%A7%A3%E6%9E%90/ Sat, 27 Sep 2025 00:45:57 +0800 https://blog.qife122.com/p/satsmt%E4%B8%8Ecp%E8%BE%BE%E6%88%88%E6%96%AF%E5%9B%BE%E5%B0%94%E7%A0%94%E8%AE%A8%E4%BC%9A%E4%B8%AD%E7%9A%84%E9%85%B7%E7%82%AB%E9%A1%B9%E7%9B%AE%E8%A7%A3%E6%9E%90/ <h1 id="约束求解达戈斯图尔研讨会中的酷炫项目">约束求解：达戈斯图尔研讨会中的酷炫项目</h1> <p>本周我有幸参加了题为&quot;将CP、SAT和SMT融合&quot;的达戈斯图尔研讨会，了解到了一些此前未曾听闻的精彩工作，特别是在约束满足和优化领域。虽然还有许多其他精彩的演讲和讨论，但以下是我记录的几个值得深入研究的项目。</p> https://blog.qife122.com/p/satsmt%E4%B8%8Ecp%E8%BE%BE%E6%A0%BC%E6%96%AF%E5%9B%BE%E5%B0%94%E7%A0%94%E8%AE%A8%E4%BC%9A%E4%B8%AD%E7%9A%84%E7%B2%BE%E5%BD%A9%E9%A1%B9%E7%9B%AE%E8%A7%A3%E6%9E%90/ Thu, 25 Sep 2025 14:46:08 +0800 https://blog.qife122.com/p/satsmt%E4%B8%8Ecp%E8%BE%BE%E6%A0%BC%E6%96%AF%E5%9B%BE%E5%B0%94%E7%A0%94%E8%AE%A8%E4%BC%9A%E4%B8%AD%E7%9A%84%E7%B2%BE%E5%BD%A9%E9%A1%B9%E7%9B%AE%E8%A7%A3%E6%9E%90/ <h1 id="达格斯图尔研讨会中satsmt与cp的精彩项目">达格斯图尔研讨会中SAT、SMT与CP的精彩项目</h1> <p>作者有幸参加了本周举办的题为&quot;将CP、SAT和SMT融合&quot;的达格斯图尔研讨会，了解到许多此前未曾接触的创新工作，特别是在约束满足与优化领域。尽管研讨会包含众多精彩演讲与讨论，以下是我特别记录的几个值得深入研究的项目。</p> https://blog.qife122.com/p/satsmt%E4%B8%8Ecp%E8%BE%BE%E6%A0%BC%E6%96%AF%E7%89%B9%E5%B0%94%E7%A0%94%E8%AE%A8%E4%BC%9A%E4%B8%AD%E7%9A%84%E7%B2%BE%E5%BD%A9%E9%A1%B9%E7%9B%AE/ Sat, 13 Sep 2025 05:56:37 +0800 https://blog.qife122.com/p/satsmt%E4%B8%8Ecp%E8%BE%BE%E6%A0%BC%E6%96%AF%E7%89%B9%E5%B0%94%E7%A0%94%E8%AE%A8%E4%BC%9A%E4%B8%AD%E7%9A%84%E7%B2%BE%E5%BD%A9%E9%A1%B9%E7%9B%AE/ <h1 id="一些来自satsmt与cp达格斯特尔研讨会的酷炫项目">一些来自SAT、SMT与CP达格斯特尔研讨会的酷炫项目</h1> <p>本周早些时候，我有幸参加了一个名为“将CP、SAT和SMT结合”的达格斯特尔研讨会，并了解到一些我之前从未听说过的非常酷的工作，尤其是在约束满足和优化领域。虽然还有许多其他精彩的演讲和讨论，但以下是我记录下来打算尝试的项目。</p> https://blog.qife122.com/p/satsmt%E4%B8%8Ecp%E7%BA%A6%E6%9D%9F%E6%B1%82%E8%A7%A3%E6%8A%80%E6%9C%AF%E7%B2%BE%E9%80%89%E9%A1%B9%E7%9B%AE%E8%A7%A3%E6%9E%90/ Wed, 03 Sep 2025 19:06:49 +0800 https://blog.qife122.com/p/satsmt%E4%B8%8Ecp%E7%BA%A6%E6%9D%9F%E6%B1%82%E8%A7%A3%E6%8A%80%E6%9C%AF%E7%B2%BE%E9%80%89%E9%A1%B9%E7%9B%AE%E8%A7%A3%E6%9E%90/ <h1 id="一些来自dagstuhl研讨会关于satsmt和cp的酷炫项目">一些来自Dagstuhl研讨会关于SAT、SMT和CP的酷炫项目</h1> <p>本周我有幸参加了一个名为“将CP、SAT和SMT汇聚一堂”的Dagstuhl研讨会，了解到一些之前未曾听闻的非常酷的工作，尤其是在约束满足和优化领域。虽然还有许多其他精彩的演讲和讨论，但以下是我记录下来的打算尝试的项目。</p>