会议论文《利用膨胀图求解SAT问题》发表于中国通信学会第五届学术年会，提出了一种基于膨胀图的SAT问题求解方法。该方法通过构建膨胀图模型，将逻辑约束转化为图结构，从而提高求解效率。研究展示了该方法在特定类型SAT问题上的优势，为组合优化和逻辑推理提供了新思路。
文档为pdf格式，0.17MB，总共4页。
举报
