2022年11月15日
蕴含图与归结式
摘要： 附：一篇相关的参考文献： Paul Beame, Ashish Sabharwal:Non-Restarting SAT Solvers with Simple Preprocessing Can Efficiently Simulate Resolution. AAAI 2014: 2608-26 阅读全文
posted @ 2022-11-15 11:24 海阔凭鱼跃越 阅读(95) 评论(0) 推荐(0) 编辑