一篇新研究论文发布在arXiv上，探讨了简单时间问题的最大可满足性（MAXSTP）的计算复杂度。该研究分析了MAXSTP关于实例规模、系数大小以及诸如树宽和顶点覆盖等结构图参数的参数化复杂度。研究结果表明，MAXSTP通常比优化定性CSP更难解决，并且对于某些参数组合可以实现固定参数可处理性。 AI
排序理由 该集群包含一篇发表在arXiv上的学术论文，详细介绍了计算复杂度研究。[lever_c_demoted from research: ic=1 ai=0.4]
- Allen's algebra
- arXiv
- CatalyzeX
- DagsHub
- Gotit.pub
- Hugging Face
- MAXSTP
- RCC-8
- ScienceCast
- Simple Temporal Problem
- Victor Lagerkvist
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
