会议论文《局部引理及其在(r_s)-SAT问题中的应用》探讨了局部引理在解决(r_s)-SAT问题中的理论与实际应用。作者通过分析局部引理的性质，提出了新的方法来处理复杂的逻辑约束问题，为计算复杂性研究提供了新思路。该文对理论计算机科学领域具有重要参考价值。
文档为pdf格式，0.21MB，总共4页。
举报
