平行组合相关论文
摘 要：虽然主问题具有一定的统摄意义，但问题的提出不能“只统不分”。主问题在力求精要、概括、简洁的同时还要避免过于粗疏，不能单......
对线性时态逻辑SE-LTL提出了一种基于SAT的有界模型检测过程，该过程避免了基于BDD方法中状态空间快速增长的问题在SE-LTL的子集SE-L......
