MAX~+(1)和MAX~+(2)公式的分裂特征
Computer & Digital Engineering(2010)
摘要
改名技术在简化一些难例公式的消解证明和构造高效的可满足算法方面有重要意义。MAX+公式是MU公式中的一个重要子类,该类公式可以通过递归的方式产生。为研究MAX+公式改名问题的复杂性,对MAX+(1)和MAX+(2)公式的分裂问题进行了分析,得到了一些关于这两类公式的若干分裂特征,对进一步研究MAX+公式的改名问题有较大的现实意义。
更多查看译文
关键词
MAX+(1),characteristics,splitting,MAX+(2)
AI 理解论文
溯源树
样例
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要