会议论文《基于高级正向推理技术的可满足性问题解决器研究》发表于中国人工智能学会第十三届学术年会。该文提出一种利用高级正向推理技术优化可满足性问题（SAT）求解的方法，通过改进推理机制提升求解效率与准确性。研究结合人工智能领域的最新进展，为复杂逻辑问题的求解提供了新的思路和技术支持。
文档为pdf格式，0.14MB，总共5页。
举报
