https://blog.qife122.com/tags/%E6%A8%A1%E5%9E%8B%E8%AE%A1%E6%95%B0/ Recent content in 模型计数 on 办公AI智能小助手 Hugo zh-cn qife 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/ 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>