极小碰集论文

基于扩展规则的若干SAT问题研究
论文摘要从二十世纪五十年代开始,自动推理就成为了计算机科学的一个核心研究领域,而可满足性SAT（Satisfiability）问题是自动推理最重要的问题之一。基于扩展规则的方法...
二叉判定图理论研究及其应用
论文摘要二叉判定图这种数据结构主要用来表示逻辑表达式,而现在人们已经研制了一些表示方法:比如二叉判定树、真值表、卡诺图等等,但是对于这些表达方式而言,存储空间的需要比较大,还存...