satisfiability-checking 相关硕士博士期刊学术论文 - 信丰网

satisfiability-checking相关论文

基于OBDD的Iteration-free CPDL判定算法

命题动态逻辑是一种应用模态逻辑,用于程序行为的推理。Iteration-free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑。对于给......

期刊

命题动态逻辑可满足性判定有序二叉决策图 propositional dynamic logic satisfiability-checking orde

看过本文同时还关注