基于生成与测试的方法解决认识论逻辑程序

💡 原文中文,约200字,阅读约需1分钟。
📝

内容提要

本研究提出了一种新型生成与测试框架,显著提高了逻辑程序求解器的效率,测试候选方案数量减少,求解器性能提升约3.3倍,解决了91%的更多实例。

🏷️

标签

➡️

继续阅读