布尔推理相关论文
由于电路宽度很好地反映了电路的复杂性,本文提出了一种基于电路宽度的启发式策略,根据电路宽度来实现SAT算法与BDD算法的交替,充......
随着人们对汽车的质量和汽车提供的服务要求越来越高,车载计算机和各种电子设备在汽车上广泛使用,汽车发动机也变得愈加复杂.而在......
在基于逻辑电路的布尔推理过程中 ,经常用到二叉判决图 (BDD)与布尔可满足性 (SAT)相结合的算法 由于电路宽度能很好地反映电路的......
分级决策问题是将备选方案分类到预先定义的具有偏好顺序的决策类中.其中每个方案是由一个有限属性集合来描述的,该属性集合包括名义......
粗糙集理论的概念性框架之一就是利用不可分辨关系和布尔推理作为数据约简和获取决策规则的基础。在分辨矩阵和决策矩阵概念的基础......