EduSAT: 布尔可满足性理论和应用的教学工具
原文中文，约400字，阅读约需1分钟。
📝
内容提要
SAT问题是一个基础的NP-complete问题，建议使用机器学习模型改进启发式算法，减少运行时间。介绍了改进的Graph-Q-SAT，验证了方法的可行性。
🏷️
