The University of Iowa.;
机译:在基于模型的测试中使用满意度模块理论求解器进行测试生成
机译:使用有限元模型预测股骨骨折负荷:基于应力和应变的失效理论的检验。
机译:有限和可数模型上概率逻辑的有效性和可满足性的可计算性
机译:满足模型理论在找到二元约束阵列的距离分布时
机译:满意度模理论中位向量的高效且可信赖的理论求解器。
机译:查找布尔可满足性问题的硬变体分区的算法及其在某些密码函数求逆中的应用
机译:通过可满足模数理论统一基于搜索和基于编译的基于汇编的方法