OBDDs相关论文
随着计算机技术的发展,其安全问题也日益凸显,解决该类问题的一个有效方法是模型检测。模型检测常用LTL和CTL公式表示待验证的性质......
Clarke和McMillan提出了利用mu演算和OBDDs符号模型检测时态逻辑的方法,这些方法是非常有效的，能用于验证许多具有极大状态空间的实......
与或图搜索是人工智能领域一项重要的问题求解技术。基于传统数据结构的与或图表示技术极大地限制了与或图搜索算法可求解问题的规......
