温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明公开发表了基于树搜索的可满足性问题公共子句消除预处理器，该发明涉及计算机技术领域。所述发明采用多叉树结构搜索枚举公共子句，该方法能够在较短时间内准确并完整地找出全部公共子句，改善了以往搜索不全和时间复杂度高的问题。同时针对于不同的消解...
该专利属于长沙理工大学所有，仅供学习研究参考，未经过长沙理工大学授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。