会议论文《基于SAT的语义Web服务发现》发表于第十三届全国青年通信学术会议。该文提出一种利用布尔可满足性问题（SAT）解决语义Web服务发现的方法，通过将服务描述转化为逻辑公式，借助SAT求解器实现高效匹配。研究旨在提升服务发现的准确性和效率，为构建智能化的Web服务系统提供理论支持和技术路径。
文档为pdf格式，0.19MB，总共4页。
举报
