smt

本文研究了数值全序HTN（TOHTN）规划，通过使用SMT扩展基于SAT的编码来处理数值流，引入了一个基准测试集，并展示了其作为未来工作基准的竞争性能。

本文提出了两种可靠的编码（MIP和SMT），用于在STL-GO表达的时空与拓扑约束下进行多智能体路径规划，并在多无人机搜索与救援基准上进行了评估。

介绍了一种基于SMT的流程，用于从输入模式合成迷宫求解路径，并构建平面和3D迷宫结构。扩展了一篇会议论文，提供了详细的构建方法和SMT-LIB示例。

本文介绍了可验证Transformer（Verifiable Transformers），这是一个将任务局部化的Transformer电路转换为有界的、求解器可验证的声明框架，从而能够对功能等价性、边必要性及鲁棒性等属性进行形式化验证。