Tuning; Lattices; Fuzzy logic; Tools; Logic programming; Concrete; Semantics;
机译:用模糊逻辑编程和SMT自动证明模糊公式
机译:使用同步分析和SAT / SMT解决方案对并行系统进行高效验证
机译:使用数据收集和SAT求解器的传统可编程逻辑控制器自动状态机重建
机译:有效调整模糊逻辑程序的符号执行和阈值
机译:高效采样SAT和SMT解决方案进行测试和验证
机译:利用个性化因子调整人工胰腺模糊逻辑控制器的临床应用建议
机译:SMT求解器在无穷乘积逻辑上实现模糊DL求解器的研究