实体
Satisfiability modulo theory
Satisfiability modulo theory
PulseAugur coverage of Satisfiability modulo theory — every cluster mentioning Satisfiability modulo theory across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
新的STL-GO方法应对复杂的多智能体规划挑战
研究人员开发了两种新方法，一种基于混合整数规划（MIP），另一种基于可满足性模理论（SMT），以解决具有复杂时空和拓扑约束的多智能体规划问题。这些方法利用一种称为带图算子的时空逻辑（STL-GO）的形式化来管理复杂的智能体交互和动态图拓扑。这些编码的有效性在多UAV搜救基准测试中得到了证明，展示了它们处理具有不同团队规模和图复杂性的动态多图交互的能力。
-
新的CSB工具增强了SMT求解器在位向量计数和采样方面的能力
研究人员开发了一个名为CSB的新工具，旨在增强可满足性模理论(SMT)求解器。该工具将SMT的能力从简单的可满足性扩展到包括位向量的模型计数和采样。CSB通过使用位爆炸技术将位向量公式转换为合取范式(CNF)，然后由现有的CNF模型计数器和采样器进行处理来实现这一点。实验结果表明，与以前的方法相比，CSB提供了显著的性能提升。