关键词satisfiability modulo theories
搜索结果 - 7
- 一个支持代数数据类型的积极满足性理论求解器
将代数数据类型的查询转换为简化的逻辑理论，并在简化的查询上使用现有求解器，通过证明方法的完备性和准确性，展示了它在现有和规划领域的基准测试中胜过现有技术的性能。
- EduSAT: 布尔可满足性理论和应用的教学工具
EduSAT 是一个面向教育目的的教学工具，通过实现关键算法，支持学习和理解布尔可满足性和 SMT 求解技术，并提供了五个超越 SAT 和 SMT 的 NP 完全问题的求解器抽象。
- 神经网络的自动修复
提出了一种通过使用 SMT 求解器修复有关安全规范的不安全神经网络，以防止对抗攻击，并且通过修改少量的权重值来寻找新的安全神经网络表示，从而最大限度地保持决策边界相似性，同时保证只有轻微的准确度损失，证明了该方法的实用性。
- IJCAI有限轨迹上的理论线性时序逻辑 (扩展版)
本文提出了一种基于 Satisfiability Modulo Theories 的 Linear Temporal Logic 语言 ——LTLf Modulo Theories，该语言具有高表现力，可用于数据感知过程和规划的模型检验。我 - MM约束答案集编程：集成与转化（或基于 SMT 的）方法
本文提出了 Constraint answer set programming 技术的概述，重点介绍了整合法和翻译法两种设计 Constraint answer set 求解器的方法，并提供了一个基于该技术的 Traveling Sales - MM用理论模态行动语言表示混合自动机
该研究论文介绍了混合自动机和行为语言之间的形式关系，并展示了如何用 action language 表示混合自动机，然后介绍了一个用混合自动机模型研究系统并利用 dReal 求解的原型系统。
- 线性有理代价理论模优化
本文介绍了两种使用 SMT 解决带有线性有理成本函数最小化的一般性过程，并将其与标准最小化技术相结合。我们已将程序封装在 MathSAT SMT 求解器内，并成功与其他最先进的工具在 Linear Generalized Disjuncti